repos
20
ecosystems
2
languages
3
commits
151
─── top repos · by commits
─── repositories
20 totalOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Mid-level bindings for sqlite
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Sources for the IOG Engineering blog
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Lean 4 programming language and theorem prover
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
Applicative option parser
A fast Haskell JSON library
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
─── peer developers
─── ecosystems
─── languages
- Haskell9
- JavaScript1
- Lean1
─── subscriber view
Unlock the full view of jhrcek
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.