Alternatives and similar repositories for HBridge:

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

• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 10 months ago
• meraymond2 / idris-ide-client
  TypeScript client for Idris IDE-mode.
  ☆11Updated 2 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• re-xyr / hina
  Very simple, explicit parameters-only dependent type elaborator.
  ☆10Updated 4 years ago
• nshimaza / thread-supervisor
  A simplified implementation of Erlang/OTP like supervisor for GHC thread
  ☆16Updated 4 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• re-xyr / hemerocallis
  Resume (template) written in Typst
  ☆10Updated last week
• andgate / type-theory-compiler
  Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…
  ☆43Updated 5 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• ZHaskell / z-botan
  Crypto for Haskell
  ☆37Updated 3 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• RedPRL / bantorra
  📚 A library for managing libraries and resolving unit paths
  ☆17Updated 6 months ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• ZHaskell / docs
  Project Z, an initiative to build a Haskell engineering eco-system.
  ☆25Updated 5 months ago
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 4 years ago
• ezrakilty / narc
  Nested Relational Calculus embedded in Haskell
  ☆16Updated 12 years ago
• corsis / clock
  High-resolution clock functions: monotonic, realtime, cputime.
  ☆59Updated last year
• bigs / idris2-libgit2
  Libgit2 bindings for Idris 2
  ☆13Updated 4 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 2 months ago
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 5 years ago
• jonsterling / tt
  secret project
  ☆17Updated 7 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated 2 years ago
• raptazure / chocolate
  Talking about classical logic and abstract algebra in Haskell
  ☆15Updated 4 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• kim / leveldb-haskell
  Haskell bindings to LevelDB (https://github.com/google/leveldb)
  ☆68Updated 2 months ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆28Updated 4 years ago