Highlights
- Pro
Stars
- All languages
- ANTLR
- ATS
- Agda
- Assembly
- Astro
- C
- C#
- C++
- C3
- CSS
- Clojure
- Coq
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- F*
- Fennel
- Flix
- Forth
- Frege
- Gleam
- Go
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Less
- Lua
- Makefile
- Markdown
- Mojo
- MoonBit
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- Open Policy Agent
- Oz
- PHP
- PLpgSQL
- Perl
- Pony
- PureScript
- Python
- QML
- Racket
- Raku
- ReScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- SQL
- Scala
- Scheme
- Shell
- Standard ML
- Svelte
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- Typst
- V
- Vim Script
- Vue
- YARA
- Zig
A fast, keyboard-driven terminal UI for todo.txt.
Your fully local, private agent. Runs models on your machine with its built-in inference engine. Works out of the box, on any hardware.
Agent workspace built on Cloudflare Workers for creating documents, building apps, and running agents with your company’s context and systems.
Zero-dependency spreadsheet engine. Read & write XLSX, CSV, ODS. Pure TypeScript, works everywhere.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Pretty fancy and modern terminal file manager
Ministack: Free, open-source local AWS emulator - 60+ services, Terraform compatible, real databases. Free forever. MIT licensed.
A small, statically-typed programming language and its compiler, written in Rust
A Rust crate for beautiful, artisanally crafted CLIs, TUIs, and text-based IO.
Tinycast — a tiny, fully native macOS launcher, hotkeys, and clipboard history
Browse SSH hosts, sync cloud VMs, manage keys, and connect from the terminal. The fast way into the servers you use every day.
Boot your PC straight into an LLM. Rust, UEFI-resident, no operating system underneath.
Open-source desktop SQL workspace for PostgreSQL, MySQL/MariaDB, SQLite and 15+ more databases like DuckDB, ClickHouse, Redis and Firestore. Built-in MCP server for Claude, Cursor and Devin, SQL no…
Git worktree manager for the terminal: CLI + TUI in Rust. Creates the worktree, runs your project setup, links the issue, and shows which AI agent is working where. Single binary, no git CLI needed.
An AI coding agent by JetBrains that ships code from your terminal, IDE, or CI/CD pipeline - powered by any LLM you choose
YouTrackDB is a general-use object-oriented graph database with storage format native to handle graph relations. YouTrackDB supports Gremlin queries and ACID transactions. YTDB supports both embedd…
Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem
JumpServer is an open-source Privileged Access Management (PAM) platform that provides DevOps and IT teams with on-demand and secure access to SSH, RDP, Kubernetes, Database and RemoteApp endpoints…
A beautiful config generator for Ghostty terminal.
🤱🏻 Turn any webpage into a desktop app with one command.
Real Kubernetes on your Mac, without an always-on VM.
Zero-copy JSON serialization with compile-time generated typed parsers
Lightning-Fast, On-Device, Multilingual TTS — running natively via ONNX.
The only tool you need to know what is happening and how to fix it.
Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini C…
SANA: Efficient High-Resolution Image Synthesis with Linear Diffusion Transformer
A Java library for building modern terminal user interfaces.
`linear-locks` provides locking primitives that are statically guaranteed to be free of deadlocks.
Claude Code & Codex Scala Skills: generate direct-style applications with use-case driven guides