Alternatives and similar repositories for bisect-binary

Users that are interested in bisect-binary are comparing it to the libraries listed below

• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 8 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated 2 years ago
• agrafix / superbuffer
  Haskell: Efficiently build a bytestring from smaller chunks
  ☆24Updated 3 years ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 4 years ago
• eelco / gdiff
  ☆33Updated 10 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• deech / LeftPad
  ☆23Updated 7 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated 2 years ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 3 years ago
• mitchellwrosen / h
  ☆32Updated 9 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 4 months ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• thufschmitt / tix-papers
  Some writings about a type system for nix
  ☆19Updated 7 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆56Updated 6 years ago
• ekmett / auth
  ☆40Updated 7 years ago
• jwiegley / logging
  ☆16Updated 3 months ago
• isovector / typecraft
  it's a starcraft clone but with a dope typesystem
  ☆49Updated 5 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆44Updated 5 years ago
• tathougies / generic-lens
  Automatically make lenses from data structures implementing Generic
  ☆26Updated 10 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago