Alternatives and similar repositories for nlambda

Users that are interested in nlambda are comparing it to the libraries listed below

• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆57Updated 2 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 3 years ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆29Updated 5 years ago
• ChrisPenner / conway
  Conway's game of life in 100 lines or less!
  ☆35Updated 8 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 9 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• leftaroundabout / constrained-categories
  Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
  ☆22Updated 2 years ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆72Updated 6 years ago
• mikeizbicki / ifcxt
  constraint level if statements
  ☆117Updated 7 years ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• Lysxia / first-class-families
  First-class type families
  ☆88Updated last month
• isovector / constraints-emerge
  📤 defer instance resolution until runtime
  ☆18Updated 5 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆55Updated 2 years ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 10 years ago
• bgamari / ghc-debug
  Moved to Haskell.org GitLab.
  ☆61Updated 3 months ago
• zaklogician / linear-constructive
  Linear Logic for Constructive Mathematics, in Agda
  ☆17Updated 6 years ago
• haskell-core / core-libraries-proposals
  Proposed changes to Haskell Core Libraries
  ☆19Updated 5 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated last year
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 3 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆124Updated last year
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆38Updated 8 years ago
• ekmett / hask
  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
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆57Updated 6 years ago
• VictorCMiraldo / generics-mrsop
  ☆21Updated 3 years ago
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 2 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated last year