Lists (3)
Sort Name ascending (A-Z)
- All languages
- ASL
- ASP.NET
- Agda
- AppleScript
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Cython
- D
- Dafny
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- Forth
- Fortran
- Frege
- GDScript
- Gnuplot
- Go
- Groff
- Groovy
- HTML
- Handlebars
- Haskell
- Idris
- Inno Setup
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lex
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mathematical Programming System
- Max
- Mercury
- Mojo
- Mustache
- NASL
- Nim
- OCaml
- Objective-C
- Objective-C++
- OpenEdge ABL
- OpenQASM
- PHP
- Perl
- Pony
- PostScript
- Prolog
- PureBasic
- Python
- QML
- R
- Racket
- Reason
- Rez
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Sage
- Scala
- Scheme
- ShaderLab
- Shell
- Sieve
- Solidity
- Standard ML
- Swift
- TLA
- TeX
- Terra
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Vue
- WGSL
- WebAssembly
- XSLT
Starred repositories
Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime.
Ethicore Engine™ is an AI safety, ethics, and compliance platform. This repo consists of the open-source components of Ethicore Engine™ - Guardian SDK; designed to protect your AI applications from…
Lean formalization of the "Generalized Algebra" used in my PhD thesis
Universal Transformer with Memory Tokens. Pure JAX NNX. TPU-ready.
Warp is an agentic development environment, born out of the terminal.
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
Free macOS menu bar app to visualize and clean developer caches (Xcode, node_modules, CocoaPods, SPM, Docker, pip, Cargo). Reclaim disk space instantly.
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Framework to prove inference of ML models blazingly fast
Integrate the DeepSeek API into popular software
Repo for vLLM Hook, an vLLM plug-in for programming internal states of models deployed on vLLM
Extract residual-stream activations and apply steering vectors (including activation oracles) to any vLLM model during inference.
First-of-its-kind AI benchmark for evaluating the protection capabilities of large language model (LLM) guard systems (guardrails and safeguards)
A theoretical reconstruction of the Claude Mythos architecture, built from first principles using the available research literature.
Write HTML. Render video. Built for agents.
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
An open-sourced agentic OS for Traditional Chinese Medicine research and discovery.
Cache Commander — a TUI and MCP server to explore, audit, and clean developer cache directories. Scan for CVEs, find outdated packages, reclaim disk space. Supports pip, npm, Cargo, HuggingFace, Ho…
Real-time network diagnostics in your terminal. One command, zero config, instant visibility.
Repo for TraceGuard: Structured Cognitive Trace Monitoring as a Control Protocol
AI Quality Governance: Gyroscopic Alignment Behaviour Lab
VoxCPM2: Tokenizer-Free TTS for Multilingual Speech Generation, Creative Voice Design, and True-to-Life Cloning
Access third-party services (Gmail, Slack, etc.) on behalf of authenticated users via Auth0 Token Vault Designed for both humans and AI agents.
Orchestrate coding agents remotely from your phone, desktop and CLI