A contract-driven gRPC regression harness for AI coding agents, with human-approved baselines. Snapshot the valid call chains of an API so an agent can look one up instead of tracing for it. gRPC today, OpenAPI next
Repository Index
64,764 visible repositories in the index
25–48 of 53 · Most stars
📱 Andriller - is software utility with a collection of forensic tools for smartphones. It performs read-only, forensically sound, non-destructive acquisition from Android devices.
New generation entropy codecs : Finite State Entropy and Huff0
- huffman
- c
- fse
- compression
Functional programming style pattern-matching library for C++
- pattern-matching
- pattern
- variant
- visitor
Free components that wrap up Python into Delphi and Lazarus (FPC)
- delphi
- lazarus
- python
- pascal
A knowledge graph and a set of tools for drug repurposing
- drug-repurposing
- knowledge-graph
- graph-neural-networks
- knowledge-graph-embeddings
Neovim support for the Lean theorem prover
- leanprover
- neovim
- neovim-plugin
- lean
A Python wrapper around Synology API
- python
- synology
- synology-nas
- python-3
A blazingly fast programmatic video engine, made for agents.
A Claude skill for directing, building and verifying code-rendered videos (HTML/Canvas → MP4): principles, gated workflow, QA scripts and evals.
A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.
- access-control
- authorization
- backend-framework
- cedar
TranslatedGive Jingjing a complete world
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
Lightweight RESTful database engine based on stack data structures
A lightweight, fast, and portable dependency injection framework for .NET-based solutions.
- dependency-injection
- ioc
- net-standard
- dependency-injection-container
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
Nix overlay for Lean 4, and lake2nix
Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs
- glfw
- glfw3
- glfw3-bindings
- java
Simple Menu Bar (Status Bar) App for mac OS and simple table app for iOS listing local Bonjour websites (as Safari 11 no longer has Bonjour Bookmarks)
- bonjour
- swift
The repository host gives no description.
LLM and agent evaluation for Java & Kotlin. Runs in JUnit and CI. Spring AI, LangChain4j, Koog, Embabel, and any LLM client.
- agent-evaluation
- evaluation-framework
- evaluation-metrics
- java
A Bitcoin Script Interpreter and Debugger in Scala
- scala
- bitcoin
- cryptocurrency
Just a modern packer for elf binaries ( works on linux executables only )
Java library for the Siren Hypermedia Type Specification