Kleidukos / Intrigue
My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
☆16Updated last year
Alternatives and similar repositories for Intrigue:
Users that are interested in Intrigue are comparing it to the libraries listed below
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated 5 months ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- A simple functional programming language.☆21Updated 3 years ago
- Existential type.☆37Updated 3 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated 5 months ago
- Zippers for cofree types☆12Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 3 years ago
- ☆18Updated 4 years ago
- Staged Streams and other stuff☆18Updated 2 years ago
- Efficient parser combinators for Haskell☆39Updated 11 months ago
- ☆12Updated 6 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- First class patterns and pattern matching, using type families☆17Updated 4 years ago
- Bring fusion to everyone☆13Updated 5 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆17Updated last month
- higher-kinded data☆30Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Alternative and lite implementation of Hoogle☆11Updated 11 months ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆16Updated last month
- A toy Parser+Compiler+Typechecker☆12Updated 2 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated 2 years ago
- Composable Concurrent Computation Done Right☆30Updated 2 years ago
- An experimental build system based on the Haxl library☆8Updated 6 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆10Updated 11 months ago
- ☆20Updated 4 months ago