Alternatives and similar repositories for Idris-Elba-Dev

Users that are interested in Idris-Elba-Dev are comparing it to the libraries listed below

• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 5 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated last month
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆34Updated 2 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆61Updated 3 weeks ago
• dreixel / generic-deriving
  ☆44Updated 3 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 8 months ago
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆32Updated 2 years ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 4 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated last month
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated 2 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆20Updated last month
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• sabauma / agda-relation-algebra
  Relational algebra implementation in Agda with simple bindings to SQLITE
  ☆12Updated last year
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last week
• isovector / nimic
  a language about nothing
  ☆19Updated 5 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• phoityne / haskell-dap
  Haskell implementation of DAP interface data.
  ☆25Updated 3 weeks ago
• bfops / open-union
  Type-safe open unions in Haskell
  ☆32Updated 7 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 8 months ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 7 months ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 3 months ago