Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Workflow Language
- Coq
- Cuda
- Dockerfile
- Fluent
- Fortran
- GLSL
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- Nunjucks
- OCaml
- Objective-C
- Objective-J
- PHP
- PLpgSQL
- Perl
- PowerShell
- Puppet
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sail
- Scala
- Scheme
- Shell
- SuperCollider
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Verilog
- Vue
- Zig
Starred repositories
Strata minus the bullshit. clone, rsync to prod, compile and go
Multi-platform high-performance compute language extension for Rust.
Auto Ontology is a Python framework for building semantic, graph-based reasoning layers over data. It enables deterministic query generation, better context retrieval, and more explainable AI for L…
Debloat any Android or Google TV over Wi-Fi and get an Apple TV-style home.
English, rewritten in Rust: grammar as trait bounds, pronouns as borrows, and englishc, a compiler with rustc-style diagnostics for prose
A Rust port of NVIDIA's SMLib B-rep kernel (CAD subset): safe, deterministic, wasm-compatible
Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.
ESP32DIV is a multi-purpose wireless offensive and defensive toolkit powered by an ESP32
Run full Kimi K3 on a single device. And an OpenAI-compatible API server for local chat and coding agents.
Exo is an agent + harness architecture that is fully recursive, able to safely edit all aspects of itself at runtime to get better at your tasks.
A skill to stop your coding agent from burying the answer. ADHD-friendly output.
Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.
Garry's Opinionated OpenClaw/Hermes Agent Brain
LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar
Self-referential self-improving agents that can optimize for any computable task
Interactive TUI for exploring Quint/Apalache ITF traces
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
GPU-accelerated terminal board that puts all your sessions on an infinite canvas
The missing integration layer for AI agents. Let them call any OpenAPI / MCP / GraphQL / custom js functions in secure environment.
Boolean Operations for 2D Polygons: Supports intersection, union, difference, xor, and self-intersections for all polygon varieties.
Let AI agents run research experiments + train small language models (in your browser!)
AI agents running research on single-GPU nanochat training automatically
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
A Model Context Protocol (MCP) server that integrates WorkFlowy's outline and task management capabilities with LLM applications.






