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 2 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• purescript / purescript-enums
  Operations for sequentially ordered types
  ☆11Updated 2 years ago
• purescript / purescript-unfoldable
  Unfoldable functors
  ☆16Updated 3 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 6 years ago
• google / cabal2bazel
  Haskell Bazel rules and cabal2bazel import tool.
  ☆42Updated 4 years ago
• well-typed / lens-sop
  Computing lenses generically using generics-sop
  ☆16Updated 7 months ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 2 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 6 months ago
• haskell / network-uri
  URI manipulation facilities
  ☆25Updated 4 months ago
• glaebhoerl / simplecompiler
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Updated 6 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 7 months 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 months ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆34Updated last year
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 3 years ago
• google / coq-bpf
  Coq BPF interpreter
  ☆19Updated 7 years ago
• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 3 years ago
• ezrakilty / narc
  Nested Relational Calculus embedded in Haskell
  ☆16Updated 13 years ago
• GaloisInc / argo
  A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
  ☆16Updated last week
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated 4 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated last week
• mniip / finite-typelits
  A type inhabited by finitely many values, indexed by type-level naturals.
  ☆11Updated last month
• pbrisbin / load-env
  Load environment variables from .env
  ☆19Updated last year
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated 3 weeks ago
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆15Updated 6 years ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago