Alternatives and similar repositories for responsible:

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

• stefan-hoeck / idris2-pack-db
  ☆26Updated this week
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• idris-community / idris2-tls
  A portable idris2 implementation of TLS
  ☆32Updated 5 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆21Updated 2 years ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Updated 3 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆96Updated last year
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 6 years ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆21Updated 2 years ago
• bigs / idris2-libgit2
  Libgit2 bindings for Idris 2
  ☆13Updated 4 years ago
• kbertalan / tyttp
  ☆21Updated last week
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• tfausak / witch
  Convert values from one type into another.
  ☆77Updated 2 weeks ago
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• bamboo / idris2-lsp-vscode
  Visual Studio Code integration for the Idris 2 language server
  ☆31Updated 5 months ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆23Updated 5 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 10 months ago
• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆66Updated 2 weeks ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆50Updated 9 months ago
• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆20Updated last month
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆17Updated 10 months ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆34Updated 2 years ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated this week
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆102Updated this week
• monadfix / jijo
  Bidirectional JSON serialization
  ☆40Updated 4 years ago
• 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 2 months ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 8 months ago