Repositories Users Organizations
Filter
Sort
carp-lang/ Carp
Haskell 1 0
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
granule-project/ granule
Haskell 1 0
A statically typed linear functional language with graded modal types for fine-grained program reasoning
starred-repo starred-granule-project-repo
Updated 2024-05-08 15:06:04 +03:00
idris-lang/ Idris-dev
Haskell 1 0
A Dependently Typed Functional Programming Language
starred-repo starred-idris-lang-repo
Updated 2024-01-02 23:47:46 +03:00
Gabriella439/ composable-path
Haskell 1 0
Typed paths that are composable
starred-repo starred-gabriella439-repo
Updated 2023-09-07 07:58:42 +03:00
patrickt/ empathy
Haskell 1 0
a modern library for typed path manipulation in Haskell
starred-repo starred-patrickt-repo
Updated 2021-06-24 23:29:49 +03:00
ilyakooo0/ Idris-dev
Haskell 0 0
A Dependently Typed Functional Programming Language
forked-repo forked-ilyakooo0-repo
Updated 2020-03-20 15:36:59 +03:00