fumieval / objective

Related projects ⓘ

Alternatives and complementary repositories for objective

• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 6 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆70Updated 5 years ago
• fumieval / extensible
  Extensible records, variants, structs, effects, tangles
  ☆128Updated last month
• ekmett / parsers
  Generic parser combinators
  ☆88Updated 3 weeks ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 7 years ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 7 years ago
• tanakh / optparse-declarative
  Declarative command-line option parser
  ☆58Updated last year
• lukasmartinelli / hwk
  A Haskell based awk and sed alternative
  ☆67Updated 6 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆71Updated 7 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆99Updated last year
• tanakh / Peggy
  The Parser Generator for Haskell
  ☆93Updated 9 years ago
• ekmett / comonad
  Haskell 98 comonads
  ☆77Updated 3 weeks ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 5 years ago
• lotz84 / recursion-algorithms
  a collection of various algorithms written using recursion schemes
  ☆21Updated 2 years ago
• khibino / haskell-relational-record
  This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Has…
  ☆233Updated 11 months ago
• chrisdone-archive / descriptive
  Self-describing consumers/parsers
  ☆42Updated 6 years ago
• suhailshergill / extensible-effects
  Extensible Effects: An Alternative to Monad Transformers
  ☆174Updated 3 years ago
• ekmett / free
  free monads
  ☆161Updated 6 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated 3 weeks ago
• fumieval / free-game
  The free game engine
  ☆64Updated 2 years ago
• fumieval / winery
  Preservative serialisation format
  ☆89Updated this week
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆33Updated 5 months ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 5 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• fumieval / monad-skeleton
  Operational monad library
  ☆30Updated 2 years ago
• kazu-yamamoto / hhp
  Happy Haskell Programming
  ☆67Updated 9 months ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆32Updated 2 years ago
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆154Updated 8 years ago
• unnohideyuki / monadic_parser_sample
  Happy & Alex を使った Monadic Parser の、なるべくコンパクトなサンプルを目指して
  ☆12Updated 10 years ago