Lists (1)
Sort Name ascending (A-Z)
- All languages
- Agda
- Arc
- Assembly
- Astro
- Bicep
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Earthly
- Elixir
- Elm
- Emacs Lisp
- F#
- Go
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- MLIR
- Makefile
- Markdown
- MeTTa
- Mojo
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- PostScript
- PowerShell
- Prolog
- Python
- R
- Racket
- ReScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- V
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- YAML
- Zig
Starred repositories
hikarioyama / TensorFold
Forked from ashhart/TensorFoldLLM Inference Engine for Metal, CUDA and Vulkan.
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
ODS V3 Pre-Release: Public testing and refinement ahead of the official V3 launch. Turn your PC, Mac, or Linux box into a private AI server.
A TypeScript-shaped language built for coding agents. It compiles to small, fast native binaries.
Practical patterns, starters & CLI tools for loop engineering with AI coding agents. Design systems that prompt and orchestrate agents (inspired by Addy Osmani and Boris Cherny). Includes loop-audi…
An Open-Source Cloud Software Factory
Your company's data, connected into one ontology, on your own computer. A local-first data workspace built on HelixDB and DuckDB.
lithos-metal: high-performance LLM inference kernels and serving for Apple silicon.
Whole-disk file search for macOS: fuzzy names, typo tolerance, indexed content grep. ~1 ms over 8M files.
Policy-driven, layered isolation and containment
Turn complex codebases into clear, navigable architecture diagrams with Claude Code.
GLM-5.3-Flash EXL3 on one 24 GB RTX 3090 + DDR4: elastic GPU expert cache, zero-copy experts, AVX2 CPU tier, OpenAI API
Monid - OpenRouter for agent tools. Join our community at https://discord.gg/rQzztcgJV8
Portable Lean 4 autoformalization skills for Codex and Claude Code
Qwen3.8-Flash-Next on any consumer hardware: one-click install for Windows / Linux. Strata inference engine, OpenAI/Anthropic API on localhost, optional image input.
the open-source Context/Knowledge Layer Database
Universal utilities for working with graphs
Qwen3.8-Flash-Next on one Intel Arc Pro B70 with experts on NVMe and 32 GB host RAM: SGLang + exl3xpu tier, staged NVMe prefill, SYCL sparse attention, measured results
Build and deploy iOS SwiftUI apps from Omarchy Linux on any PC (x86_64 or Apple Silicon), no Xcode required
Convert any text to a graph of knowledge. This can be used for Graph Augmented Generation or Knowledge Graph based QnA
SearchJev: a fast and calibrated System-1 model for search agents (training code)
A smarter, self-hosted AI assistant — multi-user, multi-agent.
Raft source-available release mirror. One snapshot commit per release; pull requests are not accepted.
Deep memory for agents over large datasets. Leviathan is a single static binary that turns your records (JSONL, JSON, CSV/TSV, SQLite, or anything a database CLI can export) into a ranked full-text…
Catch intent conflicts before code conflicts. The open-source coordination protocol for coding agents, built above Git.
A tiny TypeScript web agent, hill climbed on real browser evals.