Alternatives and similar repositories for responsible

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

• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆22Updated 2 weeks ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• stefan-hoeck / idris2-pack-db
  ☆27Updated this week
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 3 months ago
• idris-community / idris2-tls
  A portable idris2 implementation of TLS
  ☆32Updated 11 months ago
• madman-bob / idris2-python
  A Python backed for Idris 2
  ☆27Updated 3 weeks ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 8 months ago
• frizensami / haskell-optimization
  A beginner's guide to Haskell optimization
  ☆65Updated 7 years ago
• stefan-hoeck / idris2-dom-mvc
  Single Page Web Applications in Idris
  ☆25Updated last year
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 2 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 8 months ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆62Updated 2 years ago
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 6 years ago
• justinwoo / prefetch-github
  A helper to save me some keystrokes from nix-prefetch-git.
  ☆13Updated 6 years ago
• lexi-lambda / talks
  ☆45Updated 2 years ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated last year
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆61Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• idris-community / katla
  ☆21Updated 4 months ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆27Updated 9 months ago
• ziman / idris-data-frame
  Data frames for Idris 2
  ☆23Updated 2 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆95Updated 2 years ago
• tazjin / yants
  Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
  ☆38Updated 5 years ago