A statically typed linear functional language with graded modal types for fine-grained program reasoning
Updated 2024-10-17 15:56:25 +03:00
A statically typed lisp, without a GC, for real-time applications.
starred-repo
functional-programming
language
repl
functional
gamedev
game-development
games
lisp
static
typed
starred-carp-lang-repo
Updated 2024-09-04 00:06:26 +03:00
A Dependently Typed Functional Programming Language
Updated 2024-01-02 23:47:46 +03:00
Typed paths that are composable
Updated 2023-09-07 07:58:42 +03:00
a modern library for typed path manipulation in Haskell
Updated 2021-06-24 23:29:49 +03:00
A Dependently Typed Functional Programming Language
Updated 2020-03-20 15:36:59 +03:00