programming-language
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Quint - an executable specification language |
|
0 | 1 | April 11, 2025 |
| Koka - A Functional Language with Effect Types and Handlers |
|
0 | 1 | July 24, 2024 |
| CakeML - formally verified subset of Standard ML |
|
0 | 3 | July 12, 2024 |
| LISP with GC in 436 bytes |
|
0 | 4 | April 1, 2024 |
| Dafny - verification-aware programming language |
|
0 | 2 | March 23, 2024 |
| Alpaca - ML-like language for the Erlang VM |
|
0 | 5 | March 19, 2024 |
| Datafun language - functional datalog |
|
0 | 3 | March 19, 2024 |
| SIGPLAN blog |
|
1 | 5 | March 21, 2024 |