Repositories Users Organizations
Filter
Sort
HigherOrderCO/ Kind
Rust 1 0
A next-gen functional language
starred-repo functional-programming dependent-types lambda-calculus type-theory formality moonad proof-language proof-languages theorem-prover starred-higherorderco-repo
Updated 2024-07-02 15:26:28 +03:00
idris-lang/ Idris2
Idris 1 0
A purely functional programming language with first class types
starred-repo hacktoberfest dependent-types compiler starred-idris-lang-repo
Updated 2024-07-02 11:56:08 +03:00
anoma/ juvix
Haskell 1 0
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
starred-repo haskell dependent-types juvix linear-types starred-anoma-repo
Updated 2024-07-02 02:21:15 +03:00
Kindelia/ Kind
Rust 1 0
A modern proof language
starred-repo functional-programming dependent-types formality lambda-calculus moonad proof-language proof-languages theorem-prover type-theory starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
Kindelia/ Kind2
Rust 1 0
A next-gen functional language
starred-repo functional-programming dependent-types lambda-calculus type-theory formality moonad proof-language proof-languages theorem-prover starred-kindelia-repo
Updated 2024-06-28 18:31:06 +03:00
HigherOrderCO/ Kind1
Rust 1 0
A next-gen functional language
starred-repo functional-programming dependent-types lambda-calculus type-theory formality moonad proof-language proof-languages theorem-prover starred-higherorderco-repo
Updated 2024-06-28 18:31:06 +03:00
Lysxia/ first-class-families
Haskell 1 0
First-class type families
starred-repo haskell dependent-types starred-lysxia-repo types
Updated 2024-04-03 04:42:47 +03:00