Alternatives and similar repositories for idris-vba

Users that are interested in idris-vba are comparing it to the libraries listed below

• jwiegley / linearscan
  ☆17Updated 3 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 3 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆79Updated 10 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• adamgundry / uom-plugin
  Units of measure as a GHC typechecker plugin
  ☆31Updated 2 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 9 years ago
• sjoerdvisscher / effects
  Control.Effects
  ☆19Updated 6 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 9 years ago
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 10 years ago
• ezyang / deepseq-magic
  Deep evaluation of data structures without NFData
  ☆10Updated 10 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 8 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 8 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 6 years ago
• haskell-works / hw-rankselect
  ☆18Updated last month
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 6 years ago
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• valderman / ghc-simple
  Simplified interface to the GHC API
  ☆22Updated 6 years ago
• sinelaw / fresh
  ☆14Updated 7 years ago
• jberryman / chan-benchmarks
  Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
  ☆17Updated 11 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 5 years ago
• adamgundry / inch
  A type-checker for Haskell with integer constraints
  ☆42Updated 10 years ago
• pbl64k / gpif-idris
  Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
  ☆14Updated 8 years ago
• nfrisby / coxswain
  A GHC type checker plugin for row types
  ☆39Updated 7 years ago
• ekmett / transients
  Clojure-style transients for Haskell
  ☆33Updated 3 years ago