dannypsnl / minicLinks
Minimalist compiler course, based on Essential of Compilation
β11Updated last month
Alternatives and similar repositories for minic
Users that are interested in minic are comparing it to the libraries listed below
Sorting:
- Playing with type systemsβ51Updated last year
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ21Updated 2 months ago
- A formalization of System FΟ in Agdaβ20Updated last month
- A compiler and runtime for normalizing the untyped Ξ»-calculusβ32Updated 4 years ago
- an implementation of Observational Type Theory (OTT) and moreβ30Updated 3 years ago
- A constraint solver built from scratch in OCamlβ12Updated 4 years ago
- Linearizability Hoare Logicβ14Updated 10 months ago
- A SKI combinators interpreter written in assemblyβ20Updated 5 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCamlβ77Updated 4 years ago
- π©Ί A library for compiler diagnosticsβ52Updated 2 months ago
- My Agda blog/lab/playgroundβ12Updated this week
- A minimal esolang based on lambda calculusβ16Updated 5 years ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.β15Updated last year
- The Caml Light implementation of the Caml languageβ68Updated 2 years ago
- β17Updated last year
- A program synthesizer for code in the How to Design Programs curriculumβ13Updated 2 years ago
- πͺ A Staged Type Theoryβ35Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.β18Updated 3 years ago
- An implementation of "A Pretty Expressive Printer" in Racketβ28Updated last year
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.β12Updated last year
- a self-hosting lambda calculus compilerβ37Updated 10 months ago
- VSCode support for Foresterβ22Updated 2 months ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notationβ17Updated last month
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codeβ¦β65Updated 8 months ago
- A ML-like pure functional language that can be used as a template for creating your own languageβ31Updated last year
- An attempt towards univalent classical mathematics in Cubical Agda.β32Updated 2 years ago
- β38Updated 4 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"β27Updated 3 years ago
- Duo - A research language exploring duality in programming language designβ61Updated 2 years ago
- An experimental language server for SomewhatMLβ24Updated 3 years ago