Alternatives and similar repositories for shrinking-challenge

Users that are interested in shrinking-challenge are comparing it to the libraries listed below

• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 5 months ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 6 years ago
• bamboo / idris-cil
  A Common Intermediate Language backend for Idris 1
  ☆134Updated 7 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated last year
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆95Updated 8 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated 2 years ago
• jaredly / unison.rs
  ☆71Updated 3 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆94Updated 2 years ago
• Trundle / idris-go
  A Go backend for Idris
  ☆15Updated 7 years ago
• owickstrom / tlaplus-cli-template
  CLI-driven TLA+ project template
  ☆43Updated 6 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 7 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• id3as / purescript-backend-erl
  ☆15Updated 3 weeks ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated 2 years ago
• idris-community / idris2-tls
  A portable idris2 implementation of TLS
  ☆32Updated last year
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• cblp / crdt
  ☆44Updated 5 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• PLSysSec / lio
  Labeled IO Library
  ☆59Updated 5 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆53Updated 6 months ago
• darklang / fizzboom
  Benchmark to compare async web server + interpreter + web client implementations across various languages
  ☆48Updated 2 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆27Updated 8 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated this week
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆33Updated 4 years ago
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆82Updated 2 years ago