Alternatives and similar repositories for lvar-examples

Users that are interested in lvar-examples are comparing it to the libraries listed below

• gallais / agdARGS
  Dealing with Flags and Options
  ☆13Updated 4 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 7 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 7 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 10 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 12 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 11 years ago
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 8 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 8 years ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆26Updated 5 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 6 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆11Updated 8 years ago
• amosr / folderol
  machine fusion
  ☆16Updated 7 years ago
• softlang / yas
  Yet Another Software Language Repository
  ☆19Updated 2 weeks ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 13 years ago
• david-christiansen / pudding-old
  A language-integrated proof assistant, for and in Racket
  ☆39Updated 9 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 7 years ago
• ilya-klyuchnikov / henk
  Pure Type Systems for Functional Programming
  ☆31Updated 5 years ago
• michaelballantyne / meta-minikanren
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24Updated 9 years ago
• renzyq19 / pi-calculus
  ☆27Updated 11 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 4 years ago
• elliottt / dang
  A compiler for a strongly typed, haskell-like functional language
  ☆22Updated 8 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 5 years ago