repos
26
ecosystems
7
languages
2
commits
453
─── top repos · by commits
─── repositories
26 totalAn efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Fast polynomial arithmetic in Haskell
Modern and extensible testing framework for Haskell
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
Modern and extensible testing framework for Haskell
Official 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.
Finite field and algebraic extension field arithmetic
Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
ANSI terminal support for Haskell, with Windows compatibility
A fast Haskell JSON library
A modern, extensible and well-documented prettyprinter.
Arithmetic circuits for zero knowledge proof systems
Applicative option parser
Optimised bilinear pairings over elliptic curves
A polymorphic interface for elliptic curve operations
A framework to execute and verify algorithms using Groth16 zkSNARKs.
ZKsync fork of Compiler Explorer infra.
Infrastructure to set up the public Compiler Explorer instances and compilers
A fast logging system for Haskell
Maintainable configuration files
A class for types that can be converted to a hash value
Infrastructure to set up the public Compiler Explorer instances and compilers
Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.
Principled and efficient binary serialization
─── peer developers
─── languages
- Haskell13
- Python2
─── subscriber view
Unlock the full view of Bodigrim
- · 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.