projects programming-language
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the programming-language category
|
|
0 | 2 | March 21, 2024 |
|
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 |
|
Granule - linear functional language with graded modal types
|
|
0 | 2 | July 4, 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 |