Alternatives and similar repositories for keystone

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

• mongodb / mongoDB-haskell
  MongoDB driver for Haskell
  ☆24Updated 3 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• BartoszMilewski / Parsing
  Using parsec
  ☆9Updated 5 years ago
• facebook / fbghc
  Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…
  ☆16Updated 2 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆26Updated 8 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 years ago
• dleonard0 / pony-vim-syntax
  Vim syntax plugin for ponylang
  ☆30Updated 7 years ago
• purescript / purescript-tuples
  Tuple data type and utility functions
  ☆26Updated 2 years ago
• estools / esvalid
  confirm that a SpiderMonkey format AST represents an ECMAScript program
  ☆27Updated 9 years ago
• jemc / pony-inspect
  Small Pony library for converting common objects to human-readable strings.
  ☆25Updated 3 years ago
• brendan-jefferis / test-runner
  Automated UI testing prototype for Elm
  ☆10Updated 9 years ago
• yell0wd0g / face-detection
  ☆12Updated 8 years ago
• sorellabs / claire
  [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.
  ☆78Updated 11 years ago
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 4 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 8 years ago
• pdamoc / elm-hashids
  Elm port of the Hashids library.
  ☆16Updated 4 years ago
• sebastiaanvisser / salvia
  Salvia - Modular Haskell HTTP server.
  ☆24Updated 14 years ago
• chocolateboy / startup-time
  A command-line benchmarking tool to measure the startup times of programs in various languages
  ☆14Updated 4 years ago
• vorce / lagun
  Alternative UI for Open API (fka Swagger) specs
  ☆17Updated 5 years ago
• dslmeinte / evan-lang
  Evan programming language, a functional-style, general purpose programming language which nestles comfortably in the JavaScript-world, co…
  ☆7Updated 7 years ago
• elm-lang / trampoline
  Crazy recursion without growing the stack.
  ☆25Updated 8 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• evancz / elm-graphics
  The graphical building blocks that inspired Elm in the first place
  ☆56Updated 7 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• asolove / explore-concurrent-ml
  Exploring Concurrent ML in Reason
  ☆18Updated 8 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• google / kilt
  An experimental patchset management tool.
  ☆12Updated 4 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago