Alternatives and similar repositories for orcrs

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

• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆36Updated 4 years ago
• snoyberg / validation-rs
  A Result-like type that can collect multiple Errs
  ☆12Updated 5 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 11 months ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆47Updated 2 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 3 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 5 years ago
• MarcelineVQ / idris2-elab-deriving
  implementation deriving for idris2
  ☆12Updated 4 years ago
• MercuryTechnologies / ada
  A helpful AI assistant for Mercury engineers
  ☆19Updated last month
• ekmett / rust-lens
  this is not a working lens library
  ☆11Updated 3 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆95Updated 2 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 3 months ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• isovector / prospect
  static analysis of free monads
  ☆24Updated 7 years ago
• helix-collective / terraform-hs
  A Haskell ADL to generate terraform files.
  ☆17Updated 5 years ago
• prezi / gradle-haskell-plugin
  Haskell plugin for Gradle
  ☆16Updated 7 years ago
• stevana / pipelined-state-machines
  An experiment in declaratively programming parallel pipelines of state machines.
  ☆17Updated 2 years ago
• cohomolo-gy / Type-Arithmetic-and-the-Yoneda-Perspective
  Slides for Scalaworld 2019
  ☆15Updated 5 years ago
• MarcelineVQ / idris2-streaming
  Effectful Streaming for Idris
  ☆15Updated 5 years ago
• dfinity-side-projects / winter
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆45Updated 2 years ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆12Updated 3 years ago
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• jfischoff / tmp-postgres
  Create temporary postgres instances
  ☆56Updated last year
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 9 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆48Updated 4 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• serokell / hackage-search
  An application that lets you search for anything on Hackage
  ☆25Updated 2 weeks ago