Alternatives and similar repositories for orthotope:

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

• google / btls
  BoringSSL-backed TLS and cryptography library for Haskell
  ☆15Updated 6 years ago
• google / ormolu
  This is a fork of https://github.com/tweag/ormolu.
  ☆13Updated last year
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 4 years ago
• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 3 years ago
• ezrakilty / narc
  Nested Relational Calculus embedded in Haskell
  ☆16Updated 12 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated 2 months ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 2 weeks ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 5 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 weeks ago
• purescript / purescript-numbers
  Functions for working with PureScripts 'Number' type
  ☆13Updated last year
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• psibi / sysinfo
  Haskell Interface for getting overall system statistics
  ☆16Updated 6 years ago
• pbrisbin / load-env
  Load environment variables from .env
  ☆19Updated last year
• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 5 months ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated this week
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 2 months ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 5 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• kazu-yamamoto / unix-time
  Fast time library
  ☆21Updated 5 months ago
• isovector / latex-live-snippets
  deprecated by `design-tools`
  ☆17Updated 6 years ago
• iand675 / hs-brotli
  ☆20Updated 6 years ago
• BartoszMilewski / XOperad
  The implementation of tic-tac-toe using an operadic comonad
  ☆11Updated 4 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year