Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Repository Index
47,133 repositories indexed
577–600 of 669 · Most stars
A neovim plugin for encoding and decoding text
A Go library for encoding structs into Header fields.
- golang
- go
- go-library
- structs
One local, searchable index of your AI coding-agent history Claude Code, Codex, Cursor, Gemini & more. Keyword + semantic search, MCP server, CLI & VS Code extension.
A fast data generator that produces CSV files from generated relational data
SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.
Forum about coding for Steam on Node.js and JavaScript
A Go implementation of the Elias-Fano encoding
- elias-fano
- compression
- encoding
- eliasfano
Capacitor plugin for native forward and reverse geocoding
Web app that can hash/hmac, encrypt/decrypt, and sign/verify the data, debug JWT tokens, parse and edit ASN1 structures, compute diffs, and more
A coding agent skill that analyzes git history to understand a codebase before reading any code
Local-first policy gateway for coding agents. Allow, review, or block MCP, shell, SQL, GitHub, and HTTP actions with scoped credentials and signed evidence.
- golang
- observability
- opentelemetry
- policy-engine
Real-time secret-leak guardrails for AI coding agents (Claude Code, Codex), Git hooks, and CI.
Neovim encoder/decoder plugin for Base64, Base64URL, URL (percent encoding)
🧧 Fixed-Point Decimal Money
- go
- golang
- benchmarks
- encoding
Crypto Puzzles is a tool and library to provide a bunch of functions for encryption or pseudo encryption as puzzles or brain teasers. Awesome for kids but some puzzles are also a challenge for adults.
Java library for representing, parsing and encoding URNs as in RFC2141 and RFC8141 (Maintained by @claussni)
- urn
- code4lib
Desktop & phone notifications for AI coding agents (Claude Code, Codex, Gemini CLI, Cursor). Native VS Code support. Toast + ntfy push. Zero dependencies.
⚽ Live football(soccer) scores, fixtures and standings for the competition you follow (World Cup, Premier League, LALIGA, Champions League and 12 more) in your terminal, your Claude Code and Cursor CLI statusline, and MCP clients. No API key. Independent fan project. Not affiliated with FIFA, any confederation, league or club, or Anthropic.
- claude-code
- cli
- football
- futbol
🛫 Fixed-Point Decimals
- encoding
- numerics
- performance
- go
Encoding/end-of-line detection and external-format abstraction for Common Lisp
- character-encoding
- common-lisp
Elixir implementation of Ethereum's RLP (Recursive Length Prefix) encoding
- ethereum
- elixir
- encoding
Native Linux GUI for Claude Code agents. Rust + GTK4. Fast, light, no Electron.
video packaging to *.m3u8 for HLS (HTTP Live Streaming) with FFMPEG on website (ruby on rails)