cartazio / resinView external linksLinks
Resin: high performance variable binder and ast manipulation lib
☆13Jan 1, 2019Updated 7 years ago
Alternatives and similar repositories for resin
Users that are interested in resin are comparing it to the libraries listed below
Sorting:
- being the emperor of Mongo, but also a verb☆15Dec 25, 2018Updated 7 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Sep 26, 2018Updated 7 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Graphviz code generation with Haskell☆18Jan 26, 2023Updated 3 years ago
- Invertible parsing for S-expressions☆34Feb 4, 2026Updated last week
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- A text editor zipper libary☆19Nov 15, 2024Updated last year
- Haskell embedding of PlusCal☆62May 21, 2022Updated 3 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Apr 13, 2022Updated 3 years ago
- An interactive GHC profiling visualizer☆33Oct 3, 2017Updated 8 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Literature review of GHC's Core language, System FC☆67Jun 27, 2018Updated 7 years ago
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 5 years ago
- MixML prototype interpreter☆27Dec 13, 2019Updated 6 years ago
- Haskell Cabal services for Mac OS X☆25Oct 18, 2025Updated 3 months ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 7 years ago
- A realworld implementation using purescript-deku☆10Apr 28, 2024Updated last year
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago
- Notify Honeybadger about Haskell exceptions.☆12Jan 14, 2026Updated last month
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 2, 2023Updated 3 years ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago