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
• 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
• serokell / hackage-search
  An application that lets you search for anything on Hackage
  ☆25Updated 5 months ago
• gereeter / bounded-intmap
  A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.
  ☆21Updated last year
• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• isovector / prospect
  static analysis of free monads
  ☆24Updated 7 years ago
• berewt / acme-haskellee
  Haskell Enterprise Edition
  ☆12Updated 7 years ago
• snoyberg / validation-rs
  A Result-like type that can collect multiple Errs
  ☆12Updated 5 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• dixonary / hove-letter
  An implementation of the game Love Letter in the terminal, written in Haskell.
  ☆16Updated 6 years ago
• commercialhaskell / casa
  Content Addressable Storage Archive
  ☆41Updated last month
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• prezi / gradle-haskell-plugin
  Haskell plugin for Gradle
  ☆16Updated 7 years ago
• estatico / generic-override
  Override instances used by Haskell's generic derivation
  ☆31Updated 3 years ago
• ekmett / rust-lens
  this is not a working lens library
  ☆11Updated 2 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated last month
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 5 years ago
• abailly / xxi-century-typed
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Updated 3 years ago
• dfinity-side-projects / winter
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆45Updated 2 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated last month
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 7 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆95Updated 2 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 6 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• willtim / Atavachron
  Fast, scalable and secure de-duplicating backup.
  ☆16Updated 5 years ago
• jfischoff / tmp-postgres
  Create temporary postgres instances
  ☆55Updated last year
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆48Updated last month
• JoeyEremondi / aoc-2020-idris
  My Idris2 solutions/attempts for Advent of Code 2020
  ☆17Updated 4 years ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆12Updated 3 years ago