diku-dk / hpps-e2023-pubLinks
Public repository for the 2023 edition of HPPS
☆19Updated last year
Alternatives and similar repositories for hpps-e2023-pub
Users that are interested in hpps-e2023-pub are comparing it to the libraries listed below
Sorting:
- A minimal proof checker.☆77Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- Demo for dependent types + runtime code generation☆72Updated 9 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆37Updated last month
- A constructive proof assistant for second order logic.☆36Updated last year
- burgerforslag.dk☆13Updated 2 years ago
- Generate bindings for Futhark☆40Updated 2 years ago
- Apple array system☆68Updated 2 weeks ago
- Programming with pure lambda calculus☆129Updated last week
- Accelerated machine learning with dependent types☆99Updated 3 months ago
- A pure Haskell implementation of a decoder-only transformer (GPT)☆20Updated last year
- A featureful sound change applier for language construction☆42Updated last month
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Updated 2 months ago
- The future of programming.☆69Updated 4 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 6 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆71Updated last year
- Specification of the Cedille Core language☆34Updated 5 years ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 5 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Updated last year
- A Rust/WASM implementation of homotopy.io☆107Updated last week
- Interaction net resources☆37Updated 2 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 5 months ago
- SKI combinators☆55Updated 8 years ago
- a self-hosting lambda calculus compiler☆37Updated 7 months ago
- ☆119Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆36Updated 6 months ago
- Duo - A research language exploring duality in programming language design☆61Updated 2 years ago
- A high-level programming language☆40Updated 10 months ago
- A language with dependent data and codata types☆126Updated this week
- generate synthetic data for training finite state machines/pushdown automata/turing machines☆17Updated last year