Alternatives and similar repositories for idris-2-docker

Users that are interested in idris-2-docker are comparing it to the libraries listed below

• cdupont / Timeloop
  ☆41Updated last year
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 5 months ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 5 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated last week
• well-typed / debuggable
  Utilities for making your applications more debuggable.
  ☆16Updated 7 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 2 weeks ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆70Updated 2 years ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last month
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 11 months ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated last month
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆12Updated last month
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated 2 years ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated 6 months ago
• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆42Updated last year
• stefan-hoeck / idris2-array
  Immutable and mutable (linear) arrays
  ☆9Updated last month
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated last month
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 3 years ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆32Updated 4 months ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• kbertalan / tyttp
  ☆22Updated 2 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated 3 weeks ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated last month
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 5 months ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated 2 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 4 months ago