Alternatives and similar repositories for responsible:

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

• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆51Updated 8 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• kbertalan / tyttp
  ☆21Updated last month
• idris-community / idris2-tls
  A portable idris2 implementation of TLS
  ☆32Updated 3 months ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated 2 years ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 6 months ago
• idris-community / katla
  ☆19Updated 3 months ago
• stefan-hoeck / idris2-pack-db
  ☆22Updated this week
• Avi-D-coder / sundial-gc-design
  type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc
  ☆30Updated 4 years ago
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆24Updated 2 years ago
• serokell / hackage-search
  An application that lets you search for anything on Hackage
  ☆24Updated 11 months ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 3 years ago
• ElderEphemera / instance-impl
  A GHC plugin for rust style impl with -XOverloadedRecordDot
  ☆19Updated 3 years ago
• bigs / idris2-libgit2
  Libgit2 bindings for Idris 2
  ☆13Updated 4 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 2 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 7 months ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆94Updated last year
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆16Updated 8 months ago
• DoctorRyner / sae
  An Idris 2 build tool and a package manager
  ☆28Updated 2 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆23Updated 4 months ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆13Updated last week
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 6 years ago
• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆20Updated last month