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
- Python
- R
- RenderScript
- Rocq Prover
- Ruby
- Rust
- SWIG
- SaltStack
- Scala
- Shell
- Solidity
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- Vim Script
- WebAssembly
- YARA
- Zig
"🐈 nanobot: The Ultra-Lightweight OpenClaw"
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
Complete Claude Code configuration collection - agents, skills, hooks, commands, rules, MCPs. Battle-tested configs from an Anthropic hackathon winner.
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, Aider, 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
Swift implementation of libp2p, a modular & extensible networking stack
A massively parallel, optimal functional runtime in Rust