wires / wtfLinks
Well Typed Foundations ποΈ
β14Updated 4 years ago
Alternatives and similar repositories for wtf
Users that are interested in wtf are comparing it to the libraries listed below
Sorting:
- A simulator for visualising the evolution of Ο-calculus termsβ42Updated 3 years ago
- An upcoming operating system built on Type-Theoryβ43Updated 5 years ago
- Specification of the Formality proof and programming languageβ41Updated 2 years ago
- Standard library for the Formality languageβ18Updated 5 years ago
- A WebAssembly implementation in Lean4β37Updated last year
- Distributed Protocol Combinatorsβ13Updated 4 years ago
- β27Updated 11 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Coreβ28Updated 6 years ago
- Kempe is a compiled stack-based languageβ58Updated last year
- β70Updated 3 years ago
- β13Updated 5 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examplesβ22Updated 3 years ago
- β36Updated 4 years ago
- WebAssembly Code Generation Backend for Idris Compilerβ82Updated 7 years ago
- A minimal pure functional language based on self dependent types.β73Updated 3 years ago
- A Rust implementation of the Lean kernelβ11Updated 2 years ago
- β35Updated 7 years ago
- Macro Lambda Calculusβ50Updated 6 years ago
- β16Updated 7 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checkerβ15Updated 9 years ago
- Blockchain Technology for the Working Mathematicianβ24Updated 8 years ago
- Label dependent dependent session typesβ16Updated last year
- Semi-naΓ―ve typed Datalog backend with runtime, transformations, and foreign predicate supportβ16Updated 5 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windowsβ25Updated 12 years ago
- β29Updated 10 years ago
- Idris to Serpent back end for Ethereum smart contractsβ31Updated 8 years ago
- Thoughts and stuffβ70Updated 5 years ago
- LaTeX sources for the Habit Programming Language Reportβ24Updated 7 years ago
- A simple implementation of linear type theoryβ38Updated 8 years ago
- Authenticated Data Structuresβ16Updated 10 years ago