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
- 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/lazycodex: The coding agent for tokenmaxxers;the one and only agent harness for complex codebases. For your Codex, for your OpenCode
Lightweight, open-source AI agent for your tools, chats, and workflows.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Persistent Context Across Sessions for Every Agent – Captures everything your agent does during sessions, compresses it with AI, and injects relevant context back into future sessions. Works with C…
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