repos
20
ecosystems
13
languages
5
commits
56
─── top repos · by commits
─── repositories
20 totalRust library for build scripts to compile C/C++ code into a Rust library
Rust library for build scripts to compile C/C++ code into a Rust library
Rust library for build scripts to compile C/C++ code into a Rust library
A fast JSON parser/generator for C++ with both SAX/DOM style API
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Lean Theorem Prover
Lean 4 programming language and theorem prover
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.
Persistence interface for Haskell allowing multiple storage methods.
Porting `compiler-rt` intrinsics to Rust
🌱 Radicle homebrew tap for easy distribution to a macos near you.
URL parser for Rust
URL parser for Rust
Utilities for working with bytes
A scalable, distributed, collaborative, document-graph database, for the realtime web
A scalable, distributed, collaborative, document-graph database, for the realtime web
Proposed compiler and language changes for GHC and GHC/Haskell
URL parser for Rust
Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.
A fast Haskell JSON library
─── peer developers
─── ecosystems
─── languages
- Rust5
- Haskell2
- C++1
- Lean1
- Ruby1
─── subscriber view
Unlock the full view of spl
- · 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.