Alternatives and similar repositories for nlambda:

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

• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• leftaroundabout / constrained-categories
  Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
  ☆22Updated last year
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆70Updated 5 years ago
• Saizan / cubical-demo
  ☆45Updated 5 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 2 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• pigworker / Gigs-Summer-2018
  what I did on my holidays
  ☆12Updated 6 years ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 8 months ago
• Lysxia / first-class-families
  First-class type families
  ☆87Updated 7 months ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 9 years ago
• nikita-volkov / compound-types
  Sum and Product types and such
  ☆29Updated 4 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• gallais / type-scope-semantics
  A self-contained repository for the paper Type and Scope Preserving Semantics
  ☆22Updated 6 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 6 months ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆30Updated 4 years ago
• jpaykin / LNLHaskell
  Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
  ☆35Updated 6 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆26Updated 2 months ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆78Updated last year
• TikhonJelvis / modular-arithmetic
  A useful type for working with integers modulo some constant.
  ☆30Updated last year
• danidiaz / really-small-backpack-example
  A really small example of the Backpack module system for Haskell
  ☆54Updated 3 months ago
• pepeiborra / hls-tutorial
  A tutorial on writing Haskell Language Server plugins
  ☆70Updated 4 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆112Updated last year