fumieval / objective
Purely functional objects
☆73Updated 3 years ago
Alternatives and similar repositories for objective:
Users that are interested in objective are comparing it to the libraries listed below
- Extensible records, variants, structs, effects, tangles☆129Updated 5 months ago
- Minimal Haskell Compiler☆63Updated 7 years ago
- Declarative command-line option parser☆58Updated last year
- The Parser Generator for Haskell☆93Updated 9 years ago
- A collection of Notes on GHC☆69Updated 6 years ago
- Generic parser combinators☆87Updated 2 months ago
- Another implementation of Frank.☆70Updated 7 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Dive into GHC☆82Updated 8 years ago
- Examples of a simple parser written in both Parsec and Happy/Alex☆51Updated 10 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 2 months ago
- Self-describing consumers/parsers☆42Updated 6 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- Haskell 98 comonads☆78Updated 2 months ago
- Extensible Effects: An Alternative to Monad Transformers☆174Updated 4 years ago
- Type-level well-kinded natural numbers.☆34Updated 4 months ago
- Template Haskell Implementation of Egison Pattern Matching☆32Updated 4 years ago
- Preservative serialisation format☆92Updated 5 months ago
- A Haskell based awk and sed alternative☆67Updated 7 years ago
- Operational monad library☆30Updated 3 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Implement monads by specifying instructions and their desired operational semantics.☆83Updated 11 months ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆100Updated last year
- The free game engine☆64Updated 2 years ago
- a collection of various algorithms written using recursion schemes☆22Updated 3 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Has…☆233Updated last year
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆97Updated 3 years ago