Alternatives and similar repositories for shrinking-challenge

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

• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years 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
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 5 months ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated this week
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆95Updated 8 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆102Updated last year
• coeffects / coeffects-thesis
  The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.
  ☆27Updated 8 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆32Updated 8 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 7 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 3 years ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 months ago
• nikivazou / presentations
  Presentations on Liquid Haskell, type theory, and more
  ☆45Updated last year
• agocorona / Workflow
  re-startable monad that recover the execution state from a log, and workflow patterns
  ☆43Updated 9 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆94Updated 2 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
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated 2 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 10 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 years ago
• Gabriella439 / dhall-dot
  Dhall support for the DOT language for graphviz
  ☆38Updated 3 years ago
• jaredly / unison.rs
  ☆71Updated 3 years ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 8 years ago