repos
20
ecosystems
4
languages
2
commits
64
─── top repos · by commits
─── repositories
20 totalAgda is a dependently typed programming language / interactive theorem prover.
Haskell rules for Bazel.
Static Analyzer for Plinth Smart Contracts
Alternative Haskell Infrastructure for Nixpkgs
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
Alternative Haskell Infrastructure for Nixpkgs
A fast Haskell JSON library
Generate nix expressions for Haskell projects
nix scripts shared across projects
The Plutus language implementation and tools
The Plutus language implementation and tools
DEPRECATED. Use input-output-hk/haskell.nix
The Plutus language implementation and tools
The Plutus language reference implementation and tools
The Plutus language implementation and tools
The Plutus language implementation and tools
Proposed compiler and language changes for GHC and GHC/Haskell
💂♂️ Lightweight pure validation based on Applicative and Selective functors
Persistence interface for Haskell allowing multiple storage methods.
The Plutus language implementation and tools
─── peer developers
─── ecosystems
─── languages
- Haskell11
- Nix5
─── subscriber view
Unlock the full view of philderbeast
- · 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.