nomeata / bisect-binary

Related projects: ⓘ

• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago
• eelco / gdiff
  ☆34Updated 9 years ago
• mvv / data-elf
  ELF data structures for Haskell
  ☆24Updated last year
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 5 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 3 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 4 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 6 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 4 months ago
• mitchellwrosen / h
  ☆32Updated 8 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 2 weeks ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 2 years ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• thufschmitt / tix-papers
  Some writings about a type system for nix
  ☆19Updated 6 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• thsutton / aeson-diff
  Generate and apply diffs between JSON documents.
  ☆39Updated last year
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆55Updated 6 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆44Updated 3 months ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• jwiegley / logging
  ☆15Updated 2 years ago
• bollu / simplexhc-cpp
  optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
  ☆31Updated 5 years ago
• stepcut / hyperdrive
  A fast, low-level HTTP server you can trust
  ☆47Updated 6 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆34Updated 6 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 5 years ago
• hsyl20 / haskus-system
  ☆27Updated 5 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 4 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 6 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated last month