Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- Batchfile
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Cuda
- Elm
- F#
- F*
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Mathematica
- Nim
- OCaml
- Objective-C
- OpenSCAD
- PHP
- Pony
- Python
- R
- RenderScript
- Rocq Prover
- Ruby
- Rust
- SWIG
- SaltStack
- Scala
- Shell
- Solidity
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- Vim Script
- WebAssembly
- YARA
- Zig
An agentic skills framework & software development methodology that works.
The agent that grows with you
omo; the best agent harness - previously oh-my-opencode
"🐈 nanobot: The Ultra-Lightweight Personal AI Agent"
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
A Claude Code plugin that automatically captures everything Claude does during your coding sessions, compresses it with AI (using Claude's agent-sdk), and injects relevant context back into future …
Run OpenClaw, (formerly Moltbot, formerly Clawdbot) on Cloudflare Workers
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
human and llm readable markdown db. replace github's project management and obsidian's note taking while building context for llms
Celestia/Cosmos SDK development workflows for Claude Code. 4 agents, 4 commands, 1 skill.
Agentic AI Infrastructure for magnifying HUMAN capabilities.
Numerical experiments for ZODA: Zero Overhead Data Availability
Manage multiple AI terminal agents like Claude Code, Codex, OpenCode, and Amp.
An open-source AI agent that brings the power of Gemini directly into your terminal.
Multiversal tree writing interface for human-AI collaboration
A modular framework for building EVM consensus clients ⛵️✨
An example of a ZK Tendermint light client on Ethereum powered by SP1.
Novel polynomial basis for a reed solomon encoder
Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
Implementation of zero-knowledge proof circuits for Tendermint.
Typescript client library for celestia-node