lang-talk / meetupsLinks
A community around PL at Prague.
☆18Updated 8 months ago
Alternatives and similar repositories for meetups
Users that are interested in meetups are comparing it to the libraries listed below
Sorting:
- Alternative algorithm for algebraic subtyping.☆170Updated 3 weeks ago
- Staged compilation with dependent types☆179Updated 3 months ago
- Counterexamples in Type Systems☆402Updated 2 years ago
- being an operating system for typechecking processes☆128Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- Dependent type checker using normalisation by evaluation☆265Updated 11 months ago
- ☆90Updated 3 years ago
- Build system☆124Updated last year
- A Language with Dependent Data and Codata Types☆116Updated last week
- bollu learns implementation of dependent typing☆31Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- A small logic programming language.☆16Updated last year
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆223Updated last year
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A simple ML-like programming language with subtyping and full type inference.☆179Updated 9 months ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆83Updated 3 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- Prototype type inference engine☆204Updated 7 months ago
- Language Server for Agda☆113Updated last week
- Quick explanation of eliminating left recursion in Haskell parsers☆51Updated 3 years ago
- agda-mode on VS Code☆177Updated last week
- Frank compiler☆296Updated last year
- A categorical programming language with effects☆283Updated 2 years ago
- Contextual types meet mechanized metatheory!☆199Updated last week
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆132Updated 5 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆60Updated last year
- A bidirectional type checker☆63Updated 8 years ago
- 1ML prototype interpreter☆286Updated 5 years ago