bjwbell / newl-compilerView external linksLinks
☆25Jul 16, 2017Updated 8 years ago
Alternatives and similar repositories for newl-compiler
Users that are interested in newl-compiler are comparing it to the libraries listed below
Sorting:
- Bitcoin script compilation, manipulation and decompilation☆14Sep 10, 2020Updated 5 years ago
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 4 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- a logic-based trust-management system☆19Sep 17, 2012Updated 13 years ago
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Jan 18, 2020Updated 6 years ago
- Fiddlin' with ECMAScript6.☆49Aug 20, 2020Updated 5 years ago
- Show programming language printed values in a web UI☆24May 16, 2019Updated 6 years ago
- ☆24Jan 6, 2019Updated 7 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆26Jan 4, 2026Updated last month
- Portal to Haskell Debugging System☆60Dec 16, 2018Updated 7 years ago
- Examples for the book “Alex and Happy”☆34May 2, 2015Updated 10 years ago
- Getting more out of your transformers with classy optics. Slides from my BFPG talk on 2015-06-09☆32Jun 27, 2015Updated 10 years ago
- haskell lazy evaluation illustrated☆72May 3, 2017Updated 8 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 years ago
- Remove all the cookies on the tray! - The Haskell iOS & Android board game☆28Mar 2, 2020Updated 5 years ago
- Reverse proxy that handles authentication☆37Sep 9, 2018Updated 7 years ago
- A Haskell client for the Strava V3 API.☆37Jan 14, 2026Updated last month
- Email address validation for Haskell☆43Sep 21, 2024Updated last year
- Example of combining Alex (lexical parser) and Happy (syntax parser)☆30Aug 30, 2024Updated last year
- A platform for storing large semantic networks on MongoDB☆22Jun 20, 2011Updated 14 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Jul 23, 2013Updated 12 years ago
- Some useful control operators for looping☆47Mar 16, 2020Updated 5 years ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 weeks ago
- A HUnit/hspec assertion to verify that an expression does not typecheck☆43Jun 14, 2019Updated 6 years ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- Purely Functional Data Structures in Rust☆43Apr 7, 2016Updated 9 years ago
- A small implementation of type inference☆80May 19, 2015Updated 10 years ago
- some old code about scheme compiler I've ever wrote☆14Jun 21, 2025Updated 7 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 3 years ago
- Actor model implemented in OCaml - early alpha☆10Jun 5, 2020Updated 5 years ago
- Instances for QuickCheck classes☆17Jan 8, 2026Updated last month
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- ☆10Sep 25, 2019Updated 6 years ago
- sCrypt library - Zero-Knowledge Proofs - curve BLS12-381 步行者☆13Mar 14, 2025Updated 11 months ago
- ☆12Jun 29, 2022Updated 3 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago