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 / hrepl
  Interactive development for Bazel/Haskell rules
  ☆48Updated 3 years ago
• 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 / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• google / clang-lens
  ☆20Updated 9 years ago
• google / ghc-source-gen
  Library for generating Haskell source files and code fragments.
  ☆97Updated 5 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated last month
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 5 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 5 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 8 months ago
• purescript / purescript-lazy
  Call-by-need values
  ☆30Updated 2 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 3 months ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated 3 months ago
• purescript / purescript-numbers
  Functions for working with PureScripts 'Number' type
  ☆13Updated last year
• purescript / purescript-enums
  Operations for sequentially ordered types
  ☆11Updated 2 years ago
• purescript / purescript-tuples
  Tuple data type and utility functions
  ☆26Updated 2 years ago
• haskell / network-uri
  URI manipulation facilities
  ☆25Updated 2 months ago
• BartoszMilewski / Parsing
  Using parsec
  ☆9Updated 5 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆30Updated 3 weeks ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆16Updated 2 months ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆20Updated 6 years ago
• purescript / purescript-unfoldable
  Unfoldable functors
  ☆16Updated 3 years ago