Alternatives and similar repositories for lvar-examples

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

• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• gallais / agdARGS
  Dealing with Flags and Options
  ☆13Updated 4 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 8 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 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
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆11Updated 8 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 11 years ago
• haskell-distributed / distributed-process-async
  Cloud Haskell - Asynchronous Execution
  ☆18Updated last year
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 5 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• mietek / et-lang
  ET (IPL) language interpreters and literature
  ☆26Updated 6 years ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 8 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 7 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆12Updated 8 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 7 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated 8 months ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 5 years ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆21Updated last year
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 8 years ago
• clf / celf
  ☆62Updated 6 years ago