ia0 / lafontLinks
Animation of Yves Lafont's Interaction Combinators
☆18Updated 3 years ago
Alternatives and similar repositories for lafont
Users that are interested in lafont are comparing it to the libraries listed below
Sorting:
- An extended typed Lambda Calculus☆21Updated 10 months ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Class of data structures that can be unfolded.☆22Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Tool for compiling Lean to WASM☆19Updated last year
- Two-Level Type Theory☆28Updated 5 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Various mechanized proof files for fun.☆11Updated 4 months ago
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Updated 4 years ago
- Standard library for the Formality language☆18Updated 5 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- For hosting ATS3 and developing CodeDepot☆15Updated this week
- ☆13Updated 3 years ago
- Superposition prover☆17Updated 2 years ago
- A general purpose relational language☆19Updated 5 years ago
- Dafny for Metatheory of Programming Languages☆25Updated last month
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- A well typed by construction kernel language for bidirectional programming☆14Updated 5 months ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- A date and time library for Lean 4☆12Updated 2 months ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- The Steel separation logic library for F*☆35Updated last month