Alternatives and similar repositories for lvar-examples

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

• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 9 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• haskell-distributed / distributed-process-async
  Cloud Haskell - Asynchronous Execution
  ☆18Updated 10 months ago
• ISANobody / sill
  ☆29Updated 9 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated 2 years ago
• shlevy / cat-fiat
  An attempt to formalize unix cat in fiat
  ☆12Updated 8 years ago
• GaloisInc / LIMA
  LIMA: Language for Integrated Modeling and Analysis
  ☆12Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• puffnfresh / tryidris
  Try Idris
  ☆35Updated 9 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 8 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 4 years ago
• GaloisInc / cryptol-semantics
  Semantics for Cryptol
  ☆16Updated 7 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• micahhahn / FunctionalGeometry
  A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".
  ☆26Updated 8 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 3 months ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 7 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago