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
- Remove all the cookies on the tray! - The Haskell iOS & Android board game☆28Mar 2, 2020Updated 5 years ago
- Compositional type checking for Haskell☆38Apr 14, 2011Updated 14 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
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Jul 23, 2013Updated 12 years ago
- A platform for storing large semantic networks on MongoDB☆22Jun 20, 2011Updated 14 years ago
- Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)☆35Jan 18, 2010Updated 16 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
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- A C# app to write music to a score, save it as MusicXML, and play it back as MIDI.☆10Jul 11, 2016Updated 9 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Topic Evolution Analysis - an algorithm for analyzing knowledge flow in text based corpora☆14Oct 16, 2016Updated 9 years ago
- DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …☆10Nov 27, 2021Updated 4 years ago
- This is example code for a Rabin-Williams public-key signature scheme designed to provide high speed verification and small signatures.☆16Oct 9, 2008Updated 17 years ago