Stars
- All languages
- AGS Script
- ANTLR
- ActionScript
- Ada
- Assembly
- Batchfile
- Bikeshed
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cython
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- FreeBASIC
- Frege
- GAP
- Gherkin
- Go
- Go Template
- Groovy
- HCL
- HTML
- Haskell
- Haxe
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Logos
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- MiniZinc
- Modelica
- Mustache
- Nim
- Nix
- OCaml
- Objective-C++
- Objective-J
- PHP
- Perl
- PowerShell
- Python
- R
- Racket
- Rich Text Format
- RobotFramework
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sass
- Scala
- Scheme
- Scilab
- Shell
- Shen
- Smarty
- Starlark
- Swift
- SystemVerilog
- TL-Verilog
- TSQL
- TeX
- Thrift
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Vue
- WebAssembly
- XSLT
- Xtend
- YASnippet
- Zig
- reStructuredText
- wisp
ElemRV - End-to-end Open-Source RISC-V Microcontroller
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
Python SDK, Proxy Server (AI Gateway) to call 100+ LLM APIs in OpenAI (or native) format, with cost tracking, guardrails, loadbalancing and logging. [Bedrock, Azure, OpenAI, VertexAI, Cohere, Anthr…
Wrap Antigravity, ChatGPT Codex, Claude Code, Grok Build as an OpenAI/Gemini/Claude/Codex compatible API service, allowing you to enjoy the free Gemini 3.1 Pro, GPT 5.5, Grok 4.3, Claude model thro…
[WIP] Resources for AI engineers. Also contains supporting materials for the book AI Engineering (Chip Huyen, 2025)
An archive-less dockerTools.buildImage implementation
World's first local-only AI memory to break 74% retrieval and 60% zero-LLM on LoCoMo. No cloud, no APIs, no data leaves your machine. Additionally, mode C (LLM/Cloud) - 87.7% LoCoMo. Research-backe…
A simple, stateless NixOS deployment tool
Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]
S3 Reverse Proxy with GET, PUT and DELETE methods and authentication (OpenID Connect and Basic Auth)
The agent that grows with you
💫 Toolkit to help you get started with Spec-Driven Development
blingful character graphics/TUI library. definitely not curses.
Private AI coding agents. No rate limits. ~$1.50/hr.
CLI and local web plain text note‑taking, bookmarking, and archiving with linking, tagging, filtering, search, Git versioning & syncing, Pandoc conversion, + more, in a single portable script.
Lean 4 programming language and theorem prover
Fast, Declarative, Reproducible, and Composable Developer Environments using Nix