Lists (4)
Sort Name ascending (A-Z)
- All languages
- Apex
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Cython
- DTrace
- Dart
- Dockerfile
- Elixir
- Erlang
- Frege
- Gherkin
- Go
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Meson
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- Pony
- Puppet
- PureScript
- Python
- R
- Racket
- Ruby
- Rust
- SCSS
- SMT
- Sass
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- Starlark
- Swift
- TLA
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Wren
- XSLT
- Zig
Starred repositories
An application engine for handling systems that run with shared states and conditions
A bitmap programming font optimized for coziness 💜
Timoni is a package manager for Kubernetes, powered by CUE and inspired by Helm.
The lightweight, user-friendly, fault-tolerant database built on SQLite.
pg_lake: Postgres with Iceberg and data lake access
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
cmux lets you run Claude Code, Codex CLI, Amp, Gemini CLI, Cursor CLI, Opencode, and other coding agent CLIs in parallel across multiple tasks
New main repository for the DuckDB Tableau connector
A native Rust library for Delta Lake, with bindings into Python
Cluster membership protocol with failure detection inspired by Cassandra and DynamoDB
A simple, CUDA or CPU powered, library for creating vector embeddings using Candle and models from Hugging Face
Retrieval and Retrieval-augmented LLMs
💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline
Talos Linux is a modern Linux distribution built for Kubernetes.
Gluten is a middle layer responsible for offloading JVM-based SQL engines' execution to native engines.
A composable and fully extensible C++ execution engine library for data management systems.
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
A Python-embedded modeling language for convex optimization problems.
jq for binary formats - tool, language and decoders for working with binary and text formats