nachivpn / mt
Master thesis on developing a static type checker for Erlang
☆27Updated 5 years ago
Related projects: ⓘ
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆14Updated 3 weeks ago
- ETC☆17Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 3 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆23Updated 3 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- A dependently typed programming language with direct style effects and linearity☆18Updated last month
- Communicate with Erlang node from Haskell☆12Updated 3 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 2 years ago
- My PhD Thesis☆14Updated 2 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- 🧊 Типізоване -גчислення☆15Updated 6 months ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆28Updated last year
- Verification Framework for Actor Systems on Coq☆29Updated 6 years ago
- bidirectional type checking algorithms for higher-ranked polymorphism☆17Updated 2 years ago
- Bidirectional type checker for the simply typed lambda calculus☆13Updated 4 years ago
- Session types in Idris2!☆26Updated 3 years ago
- N2O: Application Server☆10Updated last year
- ☆9Updated this week
- A simple functional programming language.☆20Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- A bidirectional type checker☆55Updated 7 years ago
- A TOML parser for Idris 2☆15Updated 2 months ago
- Hanoi tower in Coq☆23Updated 10 months ago
- ☆14Updated 5 years ago
- Pretty-print error messages of the ATS Compiler☆31Updated 5 years ago
- Source code for haskle.net☆29Updated last year
- Example row-polymorphism implementations☆59Updated 11 months ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆42Updated 5 years ago