
- All languages
- ANTLR
- ActionScript
- AsciiDoc
- Assembly
- Astro
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- CUE
- Clojure
- Common Lisp
- Coq
- Cuda
- D2
- DIGITAL Command Language
- Dart
- Dockerfile
- Eagle
- Elixir
- Elm
- Erlang
- F#
- Fortran
- FreeMarker
- G-code
- GLSL
- Go
- Groovy
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Mako
- Markdown
- Mathematica
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Odin
- PHP
- PLpgSQL
- PostScript
- PowerShell
- Python
- R
- Racket
- Ragel
- Rich Text Format
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smalltalk
- Smarty
- Starlark
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- TypeSpec
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- XSLT
- Zig
Starred repositories
NativeLink is an open source high-performance build cache and remote execution server, compatible with Bazel, Pants, Buck2, Reclient, and other RBE-compatible build systems. It offers drastically f…
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
AWX provides a web-based user interface, REST API, and task engine built on top of Ansible. It is one of the upstream projects for Red Hat Ansible Automation Platform.
A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
JumpServer is an open-source Privileged Access Management (PAM) tool that provides DevOps and IT teams with on-demand and secure access to SSH, RDP, Kubernetes, Database and RemoteApp endpoints thr…
Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO
Implementing DeepSeek R1's GRPO algorithm from scratch
Visual builder for React. Build apps, websites, and content. Integrate with your codebase.
ESP32/ESP8285-based High-Performance Radio Link for RC applications
CLI tool and python library that converts the output of popular command-line tools, file-types, and common strings to JSON, YAML, or Dictionaries. This allows piping of output to tools like jq and …
Free, simple, fast interactive diagrams for any GitHub repository
A CLI interface for Marp and Marpit based converters
NVIDIA curated collection of educational resources related to general purpose GPU programming.
Open-source JavaScript charting library behind Plotly and Dash
📈 A small, fast chart for time series, lines, areas, ohlc & bars
A network load-balancer implementation for Kubernetes using standard routing protocols
MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license.
SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC ac…
Projects motion of pixels to a voxel
Headless cloud-native authentication and identity management written in Go. Scales to a billion+ users. Replace Homegrown, Auth0, Okta, Firebase with better UX and DX. Passkeys, Social Sign In, OID…