Alternatives and similar repositories for boehm-berarducci

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

• michaelt / tagless
  oleg modules
  ☆32Updated 12 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• dorchard / effect-monad
  Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
  ☆100Updated last year
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• bobatkey / CS316-19
  The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
  ☆41Updated 5 years ago
• yogeshsajanikar / hspark
  A port of Apache Sparks to Haskell using distributed process
  ☆33Updated 8 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• arianvp / servis
  Github project where I track everything related to my thesis
  ☆28Updated 8 years ago
• cohomolo-gy / homotopy-type-theory-notes
  HoTT Note-taking action
  ☆25Updated 6 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 3 years ago
• gallais / pearl-binary-search
  Functional Pearl: Certified Binary Search in a Read-Only Array
  ☆29Updated 4 years ago
• jkoppel / ecta
  ☆35Updated last year
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 9 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆65Updated 6 years ago
• jdevuyst / rekenaar
  Idris tactics for (commutative) monoids
  ☆20Updated 5 years ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 5 years ago
• dfinity-side-projects / winter
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆45Updated 2 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• ekmett / nbe-in-java-19
  a throwaway implementation of normalization by evaluation
  ☆13Updated 3 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆36Updated 3 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• typelead / eta-hackage
  A set of patches to make Hackage compatible with the Eta language.
  ☆64Updated 5 years ago
• jameshaydon / idris-graphql
  Idris GraphQL
  ☆16Updated 7 years ago
• devonhollowood / search-algorithms
  Haskell library containing common graph search algorithms
  ☆53Updated 3 weeks ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆82Updated 7 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 7 years ago