Alternatives and similar repositories for orcrs

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

• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆36Updated 4 years ago
• clintonmead / haskell_bits
  ☆55Updated 5 years ago
• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆46Updated 2 years ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆12Updated 3 years ago
• isovector / prospect
  static analysis of free monads
  ☆24Updated 7 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated last year
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆94Updated 2 years ago
• cohomolo-gy / Type-Arithmetic-and-the-Yoneda-Perspective
  Slides for Scalaworld 2019
  ☆15Updated 5 years ago
• ocharles / haskell-opentracing
  Haskell libraries for OpenTracing.io
  ☆16Updated 7 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• serokell / hackage-search
  An application that lets you search for anything on Hackage
  ☆25Updated last month
• commercialhaskell / casa
  Content Addressable Storage Archive
  ☆41Updated 4 months ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 5 months ago
• ekmett / auth
  ☆40Updated 7 years ago
• berewt / acme-haskellee
  Haskell Enterprise Edition
  ☆12Updated 8 years ago
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆62Updated 2 months ago
• gereeter / bounded-intmap
  A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.
  ☆21Updated 2 years ago
• bodil / sized-vec
  Rust vectors with type level size
  ☆23Updated 4 years ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆27Updated last month
• bitemyapp / hedgehog-checkers
  Like the checkers library, but for hedgehog. Common stuff you'd want to check.
  ☆22Updated 7 years ago
• snoyberg / validation-rs
  A Result-like type that can collect multiple Errs
  ☆12Updated 5 years ago
• NickSeagull / drahko
  🐲 Boost your efficiency: Make your computer work for you
  ☆14Updated 4 years ago
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆62Updated 2 years ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• mrkkrp / facts
  Refined types
  ☆57Updated 7 years ago
• google / hrepl
  Interactive development for Bazel/Haskell rules
  ☆49Updated 4 years ago
• gagandeepb / Frames-beam
  Accessing Postgres in a data frame in Haskell
  ☆24Updated 2 years ago