Alternatives and similar repositories for spike

Users that are interested in spike are comparing it to the libraries listed below

• GaloisInc / pure-zlib
  A Haskell-only implementation of zlib / DEFLATE.
  ☆31Updated 3 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• deech / ATSPresentation
  ☆21Updated 9 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• edwinb / WS-idr
  Yes, it is what you think it is
  ☆33Updated 9 years ago
• wenkokke / unlit
  Tool to convert literate code between styles or to code.
  ☆11Updated 6 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• ashinkarov / heh
  A programming language with infinite arrays
  ☆31Updated 5 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 4 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆65Updated 10 years ago
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated 2 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 years ago
• csgordon / cayenne
  Resurrecting Lennart Augustsson's implementation of Cayenne
  ☆38Updated 11 years ago