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:
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- An extended typed Lambda Calculus☆21Updated 9 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Tool for compiling Lean to WASM☆19Updated last year
- Standard library for the Formality language☆18Updated 5 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 11 months ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- ☆14Updated last year
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated 11 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Updated 2 years ago
- An LLVM interface for Lean 4. (WIP)☆21Updated last year
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- The Pulse separation logic DSL for F*☆16Updated last week
- Class of data structures that can be unfolded.☆22Updated last year
- Reference counting with linear types☆31Updated 10 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- egraphs-good website☆17Updated 7 months ago
- A WebAssembly implementation in Lean4☆34Updated last year
- A simple induction and BMC engine.☆23Updated 3 years ago
- A compiler for a little statically-typed language implemented in Haskell.☆13Updated 6 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Two-Level Type Theory☆28Updated 5 years ago