Alternatives and similar repositories for boehm-berarducci:

Users that are interested in boehm-berarducci are comparing it to the libraries listed below

• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 8 years ago
• mrkkrp / facts
  Refined types
  ☆57Updated 6 years ago
• yogeshsajanikar / hspark
  A port of Apache Sparks to Haskell using distributed process
  ☆33Updated 8 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆39Updated last year
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 7 years ago
• sellout / dada
  A total recursion scheme library for Dhall
  ☆66Updated 2 months ago
• alx741 / graphite
  Haskell graphs and networks library
  ☆31Updated 3 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆26Updated 3 years ago
• nmattia / wai-lambda
  Haskell Webapps on AWS Lambda
  ☆43Updated 2 years ago
• atzeus / reflectionwithoutremorse
  Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection
  ☆66Updated 3 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 weeks ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 2 years ago
• sellout / yaya
  Yet another yet another recursion scheme library in Haskell.
  ☆88Updated last week
• michaelt / tagless
  oleg modules
  ☆30Updated 12 years ago
• devonhollowood / search-algorithms
  Haskell library containing common graph search algorithms
  ☆52Updated 5 months ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated last year
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 5 years ago
• fpco / odbc
  Haskell ODBC binding with SQL Server support
  ☆45Updated last year
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆37Updated 2 years ago
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated last year
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 6 months ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆71Updated 3 weeks ago