Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
811.
▲
Wasp: A declarative domain-specific language that understands what a web app is
(github.com/wasp-lang)
1 point
philonoist
3 years ago
discuss
812.
▲
Show HN: AI generated conversation starters in Slack
(github.com/MrKevinOConnell)
1 point
louis030195
3 years ago
discuss
813.
▲
Noether: Symmetry in Programming Language Design (2014) [pdf]
(github.com/noether-lang)
1 point
xavxav
4 years ago
discuss
814.
▲
Rust tracking issue for bugs fixed by the MIR borrow checker or NLL
(github.com/rust-lang)
1 point
walterbell
4 years ago
discuss
815.
▲
Small exercises to get you used to reading and writing Rust code
(github.com/rust-lang)
1 point
rashadphil
4 years ago
discuss
816.
▲
Alda – text-based programming language for music composition
(github.com/alda-lang)
1 point
pabs3
4 years ago
discuss
817.
▲
A statically typed functional programming language that supercharges Common Lisp
(github.com/coalton-lang)
1 point
dunefox
4 years ago
discuss
818.
▲
Rust Governance Update from April
(github.com/rust-lang)
1 point
illegalmemory
4 years ago
discuss
819.
▲
An Implementation of Interaction Nets in JavaScript
(github.com/cicada-lang)
1 point
xyheme
4 years ago
discuss
820.
▲
Dart: Patterns Feature Specification (in progress proposal)
(github.com/dart-lang)
1 point
burakemir
4 years ago
discuss
821.
▲
The Rust Toolchain Installer
(github.com/rust-lang)
1 point
maydemir
4 years ago
discuss
822.
▲
Bluespec hardware design language and simulation tools
(github.com/B-Lang-org)
1 point
thesz
4 years ago
discuss
823.
▲
Rust RFC for increase privacy/reproducibility
(github.com/rust-lang)
1 point
transportheap
5 years ago
discuss
824.
▲
Mech: Language for developing data-driven, reactive systems in Rust
(github.com/mech-lang)
1 point
adamnemecek
5 years ago
discuss
825.
▲
Hardware performance counter support [for the rustc self-profiler]
(github.com/rust-lang)
1 point
kzrdude
6 years ago
discuss
826.
▲
Janet 1.12.2 Released
(github.com/janet-lang)
1 point
todsacerdoti
6 years ago
discuss
827.
▲
Langcraft: The LLVM target for Minecraft you've never wanted
(github.com/SuperTails)
1 point
todsacerdoti
6 years ago
discuss
828.
▲
Nim for Python Programmers
(github.com/nim-lang)
1 point
jblindsay
6 years ago
discuss
829.
▲
Not entirely sure what this is describing
(github.com/rust-lang)
1 point
alex_hirner
6 years ago
discuss
830.
▲
Idris2 is now implemented in Idris2
(github.com/idris-lang)
1 point
jobstijl
6 years ago
discuss
831.
▲
Janet 1.9.0 Released
(github.com/janet-lang)
1 point
swlkr
6 years ago
discuss
832.
▲
Rust's “Weird-Exprs” Test
(github.com/rust-lang)
1 point
piliberto
6 years ago
discuss
833.
▲
Sequent-Calculus
(github.com/Shen-Language)
1 point
galaxyLogic
6 years ago
discuss
834.
▲
Elena Programming Manual
(github.com/ELENA-LANG)
1 point
arakov
7 years ago
discuss
835.
▲
Require documentation for all new features
(github.com/rust-lang)
1 point
fariz_
7 years ago
discuss
836.
▲
Rustc: Demand-Driven Compilation
(github.com/rust-lang)
1 point
tosh
7 years ago
discuss
837.
▲
Multithreading in Crystal
(github.com/crystal-lang)
1 point
paublyrne
7 years ago
discuss
838.
▲
Remote Language Server Proposal
(github.com/Microsoft)
1 point
bin0
7 years ago
discuss
839.
▲
Stabilizing async / await
(github.com/rust-lang)
1 point
mswift42
7 years ago
discuss
840.
▲
Alta – A Modern Alternative to C++
(github.com/alta-lang)
1 point
pplonski86
7 years ago
discuss
More