aitorres / rockstar-lexer
A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.
☆12Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for rockstar-lexer
- Tools for MIL, a Monadic Intermediate Language☆21Updated 2 months ago
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆42Updated 5 years ago
- A collection of Notes on GHC☆70Updated 5 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Proof of concept to generate safe and fast JavaScript☆25Updated 2 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- A VM written following the Linear Abstract Machine architecture☆22Updated 5 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Dependently typed programming language written in Haskell☆22Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 4 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- IDE support for the functional logic programming language Curry☆27Updated last week
- Yet another Scheme implemented in Haskell☆20Updated 4 years ago
- A Turing complete language 😉☆40Updated 4 years ago
- Haskell 98 contravariant functors☆73Updated last month
- Educational implementation of dependent types☆19Updated 6 years ago
- A JSON schema language☆26Updated 4 months ago
- A beginner's guide to Haskell optimization☆64Updated 6 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Updated last year
- A TOML parser for Idris 2☆15Updated 4 months ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago
- A prototypical dependently typed languages with sized types and variances☆104Updated 2 years ago
- For hosting certain parts of http://www.ats-lang.org☆26Updated last year
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆79Updated 4 years ago
- Session types in Idris2!☆27Updated 3 years ago