bjwbell / newl-compilerLinks
☆25Updated 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:
- Literature review of GHC's Core language, System FC☆67Updated 7 years ago
- Monad Transformers and Classes☆76Updated 6 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆57Updated last year
- Codo notation for programming with comonads in Haskell☆25Updated 4 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆127Updated last year
- Utrecht Haskell Compiler☆42Updated 13 years ago
- Generic random generators☆81Updated 2 years ago
- ☆39Updated 8 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 8 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 7 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- A more flexible mtl☆62Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- ☆78Updated 3 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆106Updated 7 months ago
- ☆127Updated 2 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆48Updated 7 years ago
- The Software Foundations book, in GHC☆82Updated 11 months ago
- ghc --make reimplemented with Shake☆32Updated 2 years ago
- Reifies arbitrary Haskell terms into types that can be reflected back into terms☆104Updated 9 months ago
- parser for config files, shell variables, command line args.☆22Updated 9 years ago
- second-order abstract syntax☆31Updated 4 years ago
- rewrite rules for type-level equalities☆62Updated 4 months ago
- A GHC type checker plugin for row types☆39Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 2 months ago
- An experimental intermediate language for GHC☆36Updated 8 years ago
- Unpacked containers using backpack☆52Updated 5 years ago
- Continuously varying values, made easy :)☆42Updated 6 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 4 years ago