mb64 / polyLinks
A WIP compiler for a functional language. Very incomplete!
☆16Updated 3 years ago
Alternatives and similar repositories for poly
Users that are interested in poly are comparing it to the libraries listed below
Sorting:
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Updated last week
- A simple functional programming language.☆21Updated 4 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆19Updated 5 months ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- Dependently typed programming language written in Haskell☆22Updated 3 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18Updated 5 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- "operating system" based on the calculus of constructions☆18Updated 3 years ago
- a self-hosting lambda calculus compiler☆36Updated 4 months ago
- A Teeny Type Theory☆26Updated 3 years ago
- A template for idris projects☆11Updated 4 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 6 months ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated 9 months ago
- small programming language. pls be gentle.☆39Updated last week
- A simple implementation of linear type theory☆38Updated 8 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- Funny little Haskell impl☆18Updated 4 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Stack-based esoteric programming language☆18Updated 6 months ago
- A toy dependent typed language.☆31Updated 2 weeks ago
- classical sequent calculus, embedded in Haskell☆21Updated 3 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Types for ldtk☆15Updated last year
- ☆21Updated 2 months ago
- Classical Logic in Haskell☆24Updated 5 months ago