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 / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 3 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 3 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• google / ghc-source-gen
  Library for generating Haskell source files and code fragments.
  ☆97Updated 3 months ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated last week
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Updated 5 years ago
• purescript / purescript-enums
  Operations for sequentially ordered types
  ☆10Updated 2 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 5 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated last month
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 4 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• purescript / purescript-tuples
  Tuple data type and utility functions
  ☆26Updated 2 years ago
• ezrakilty / narc
  Nested Relational Calculus embedded in Haskell
  ☆16Updated 12 years ago
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆31Updated 3 weeks ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• haskell / network-uri
  URI manipulation facilities
  ☆25Updated last month
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 10 months ago
• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 4 months ago
• BartoszMilewski / XOperad
  The implementation of tic-tac-toe using an operadic comonad
  ☆11Updated 4 years ago
• dreixel / generic-deriving
  ☆44Updated 3 weeks ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• google / haskell-indexer
  Emits code crossreference data for Haskell sources.
  ☆100Updated last month
• 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
• jgm / unicode-collation
  Haskell implementation of the Unicode Collation Algorithm
  ☆17Updated 2 months ago
• gregwebs / haskell-heroku
  Haskell helpers for deploying to Heroku
  ☆18Updated 9 years ago