Alternatives and similar repositories for orcrs

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

• clintonmead / haskell_bits
  ☆55Updated 5 years ago
• snoyberg / validation-rs
  A Result-like type that can collect multiple Errs
  ☆12Updated 5 years ago
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆36Updated 4 years ago
• MarcelineVQ / idris2-streaming
  Effectful Streaming for Idris
  ☆15Updated 5 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
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago
• isovector / prospect
  static analysis of free monads
  ☆24Updated 7 years ago
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 5 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• ekmett / rust-lens
  this is not a working lens library
  ☆11Updated 3 years ago
• heathermiller / f-p
  A new programming model for asynchronous and distributed programming.
  ☆37Updated 8 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆43Updated 9 years ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated last week
• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆47Updated 2 years ago
• Blaisorblade / dot-iris
  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
  ☆37Updated 4 months ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆12Updated 3 years ago
• nilehmann / liquid-rust
  ☆37Updated 4 years ago
• MarcelineVQ / idris2-elab-deriving
  implementation deriving for idris2
  ☆12Updated 4 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 3 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 4 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• abailly / xxi-century-typed
  Support code for talk 'XXIst century shall be typed or not be'
  ☆15Updated 3 years ago
• gagandeepb / Frames-beam
  Accessing Postgres in a data frame in Haskell
  ☆24Updated 2 years ago
• prezi / gradle-haskell-plugin
  Haskell plugin for Gradle
  ☆16Updated 7 years ago
• alonsodomin / haskell-schema
  A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
  ☆21Updated 3 years ago
• ekmett / auth
  ☆40Updated 7 years ago
• bodil / sized-vec
  Rust vectors with type level size
  ☆23Updated 4 years ago
• Jyothsnasrinivas / eta-todo
  A simple to-do web application in Eta using Spock web framework and Lucid DSL
  ☆17Updated 7 years ago