igstan / linguae
A playground for parsers, type checkers, interpreters, compilers, etc.
☆40Updated last week
Alternatives and similar repositories for linguae:
Users that are interested in linguae are comparing it to the libraries listed below
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆56Updated 7 months ago
- source code for the bondi programming language☆40Updated 5 years ago
- A bidirectional type checker☆58Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆75Updated last year
- The MLPolyR programming language, revived☆24Updated 4 years ago
- a functional programming language with algebraic effects and handlers☆81Updated 2 years ago
- Example row-polymorphism implementations☆61Updated last year
- Fωμ type checker and compiler☆52Updated last year
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- every day i'm truffling☆69Updated 3 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆55Updated 8 months ago
- A SuperCompiler for Martin-Löf's Type Theory☆119Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 4 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆100Updated last year
- JVM code generation☆32Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- A TOML parser for Idris 2☆15Updated 6 months ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- ☆40Updated 3 years ago
- A test framework for Idris☆55Updated 5 years ago
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- SPSC: A Small Positive Supercompiler☆32Updated 8 months ago