ccntrq / loxomotiveLinks
loxomotive - A Lox Interpreter implemented in Haskell
☆17Updated 3 years ago
Alternatives and similar repositories for loxomotive
Users that are interested in loxomotive are comparing it to the libraries listed below
Sorting:
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Kaleidoscope Tutorial using llvm-hs☆85Updated 4 years ago
- A core language and API for dependently typed languages☆96Updated 9 months ago
- Quick explanation of eliminating left recursion in Haskell parsers☆57Updated 4 years ago
- A bidirectional type checker☆66Updated 8 years ago
- A prototypical dependently typed languages with sized types and variances☆113Updated 4 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆71Updated last year
- Example language server (LSP) implementation for a toy language☆60Updated 4 years ago
- Dependently Typed Lambda Calculus in Haskell☆116Updated 4 years ago
- Type inference implementation in OCaml using Algorithm W☆10Updated 4 years ago
- A toy dependent typed language.☆33Updated this week
- Duo - A research language exploring duality in programming language design☆61Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- Unification and type inference algorithms☆125Updated 10 years ago
- Benchmarks for capture-avoiding substitution☆121Updated 6 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Updated 4 years ago
- Horn Clause Constraint Solving for Liquid Types☆155Updated this week
- Vim mode for Idris 2☆78Updated 3 years ago
- ☆41Updated 3 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆82Updated this week
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆133Updated 5 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆58Updated last year
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- Demo for dependent types + runtime code generation☆72Updated 9 months ago
- a functional programming language with algebraic effects and handlers☆82Updated 9 months ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆120Updated 4 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆32Updated 4 years ago
- Build system☆131Updated last month
- A dependent type theory with user defined data types☆47Updated 4 years ago