repos
24
ecosystems
11
languages
5
commits
376
─── top repos · by commits
─── repositories
24 totalA fork of git://sourceware.org/git/binutils-gdb.git
personal gdb mirror
GNU Binutils - Zephyr RTOS Support Development Branch
A work-in-progress PureScript to Plutus Core compiler
Open-source engine for Heroes of Might and Magic III
Storage Performance Development Kit
Experiments with PureScript parser in order to extract a KAST
Haskell Elasticsearch client and query DSL
Persistence interface for Haskell allowing multiple storage methods.
Haskell Elasticsearch client and query DSL
Applicative option parser
A cross-platform library for verifying Authenticode signatures
JSON for Modern C++, ported to SGX TEE by Safeheron.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.
Applicative option parser
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Provides Word128, Word192 and Word256 for and a way of producing other large words if required.
─── peer developers
─── ecosystems
─── languages
- C8
- Haskell7
- C++2
- Nix1
- PureScript1
─── subscriber view
Unlock the full view of trofi
- · 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.