wires / wtf
Well Typed Foundations 🏛️
☆15Updated 4 years ago
Alternatives and similar repositories for wtf:
Users that are interested in wtf are comparing it to the libraries listed below
- An extended typed Lambda Calculus☆21Updated 7 months ago
- Standard library for the Formality language☆18Updated 5 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 6 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- An upcoming operating system built on Type-Theory☆43Updated 4 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- A functional smart contract system☆6Updated 6 years ago
- A hackable notes-spreadsheet-hybrid for programmers☆14Updated 5 months ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- Distributed Protocol Combinators☆13Updated 3 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Updated 5 years ago
- An interactive beta reduction calculator for lambda calculus☆11Updated 6 years ago
- A simple implementation of linear type theory☆38Updated 7 years ago
- Multihash Haskell implementation☆27Updated last year
- ☆67Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- ☆16Updated last month
- Tool for compiling Lean to WASM☆19Updated last year
- A WebAssembly implementation in Lean4☆34Updated last year
- Type Theory with Indexed Equality☆25Updated 7 years ago
- Finite state machines as graphs☆59Updated 4 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 4 months ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- A simulator for visualising the evolution of π-calculus terms☆40Updated 2 years ago
- Source files used for the Cedille Cast videos☆12Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 9 months ago
- Reference counting with linear types☆31Updated 8 months ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆14Updated 9 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago