89 skills found · Page 1 of 3
arrow-kt / ArrowThe perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
rntz / DatafunResearch on integrating datalog & lambda calculus via monotonicity types
cedille / CedilleCedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
owo-lang / Minitt RsDependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
ilya-klyuchnikov / LambdapiDependently Typed Lambda Calculus in Haskell
robrix / PathA lambda calculus to explore type-directed program synthesis.
Gradual-Typing / GriftA compiler for the gradually typed lambda calculus
sstucki / System F AgdaA formalization of the polymorphic lambda calculus extended with iso-recursive types
solomon-b / Lambda Calculus HsSingle file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
lukstafi / Curious OcamlA curious book about OCaml: logic (types), algebra (values), computation (semantics), functions (lambda calculus), constraints, monads, algebraic effects, expression.
i-am-tom / LICKIdris-written, correct-by-construction, simply-typed lambda calculus.
mgechev / Typed CalcInterpreter for simply typed lambda calculus implemented in JavaScript λ
tarao / Lambda ScalaType level lambda calculus in Scala
L-TChen / Type TheoryLecture note on Lambda Calculus and Types for FLOLAC
kthielen / StlccSimply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
m-yac / Tt In CagdaSimply typed lambda calculus in cubical agda
lamdu / Lamdu CalculusAn extended typed Lambda Calculus
wejournal / LambA statically typed and lazy evaluated implementation of Lambda Calculus.
LiamGoodacre / Purescript Type LangLambda calculus at the type level.
solomon-b / HowardLangAn interpreted lambda calculus with Algebraic and Recursive Types.
