13 skills found
Chymyst / CurryhowardAutomatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
ptarau / TypesAndProofsType inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
mbuliga / QuinegraphsLibrary of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
georgejkaye / Lamviz JsA visualiser for lambda terms as rooted maps.
dallaylaen / Ski InterpreterCombinatory logic and lambda calculus interpreter in JS/TS. Supports SKI, BCKW, Church numerals, defining new terms, λ ↔ SK conversions, and more. An HTML playground and quest page included.
yannham / Visual GoiA graphical tool to translate lambda terms to proof nets and run GoI token machine on it
ptarau / PlayA Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations
thma / LispkitImplementing a small functional language with a combinator graph reduction engine
caotic123 / Ane LanguageA tool for analyze lambda calculus terms
gfngfn / Tex Of OcamlA compiler for untyped lambda terms to TeX code
dylnb / Lamc Reflexsimple reflex-frp app that displays normalization and type-inference over lambda terms
catseye / LariatMIRROR of https://codeberg.org/catseye/Lariat : An abstract data type for lambda terms
jonsterling / Sml Elaborating TypecheckerAn example of how to use LCF + validations to type check and normalize lambda terms (via cut admissibility)
