Lists (30)
Sort Name ascending (A-Z)
aerospace
art
biotechnology
cli-tools-and-libs
cloud-infra-devops
concurrency
data-engineering
embedded-and-robotics
finance
frontend-and-ui
functional-programming
games-and-gamedev
graphics
Rendering, visualization, video editing and arthpc-and-ai
learning-resources
libs
medicine-and-diagnosis
networking-and-distributed-sys
os-and-systems-dev
parsers-compilers-tracers
quantum-computing
runtimes
scientific
security-and-cryptography
silicon
simulations
theoretical-computer-science
utilities
web
web3
- All languages
- Agda
- Assembly
- Astro
- AutoIt
- Awk
- Ballerina
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Erlang
- F*
- Fortran
- Frege
- Futhark
- GAP
- GDScript
- GDShader
- Gnuplot
- Go
- Go Template
- HCL
- HTML
- Handlebars
- Haskell
- HolyC
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mermaid
- Modelica
- Motoko
- Mustache
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Odin
- PHP
- PLpgSQL
- Pascal
- Pony
- PostScript
- PowerShell
- Processing
- Prolog
- Pug
- Python
- QML
- R
- Ragel
- Reason
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sail
- Scala
- Scheme
- ShaderLab
- Shell
- Smarty
- Solidity
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- Zig
- hoon
Starred repositories
https://www.youtube.com/watch?v=l03Os5uwWmk
An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.
A full-system sanitizer that detects latent defects from benign behavior.
A high-performance, blocked Bloom filter implementation in Rust, faster than any other open source bloom filter, optimized for modern CPUs.
A deterministic, crash-safe distributed state machine with exactly-once side effects
Coordination-free distributed state kernel with nanosecond latency
A Rust interpretation of the 'Saturn Devouring His Son' painting.
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
An extensible pub/sub messaging server for edge applications
📸 gotta find 'em all; spatial reasoning benchmark for LLMs
Deterministic precision arithmetic for financial computation and verifiable systems
🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows
io_uring based bittorrent client built for modern Linux kernels
ArtCraft is an intentional crafting engine for artists, designers, and filmmakers
WebCC: A lightweight C++ toolchain and framework for WebAssembly.
Coi: A type-safe, component-based language for building high-performance web apps with WASM and fine-grained reactivity.
Live overlay for drawing, annotating with zoom, hiding text, and capturing screenshots on Linux. Can be used as whiteboard or blackboard. Highly customisable. Written in Rust.
eBPF-accelerated Broadband Network Gateway for Kubernetes edge deployments
High-precision, high-performance fixed-point decimal type for Rust.
A Linux framework to enable userspace-defined "Virtual" PCIe card shims to enable in-host PCIe card driver development.
Astrodynamics and Spacecraft Toolkit Written in Zig! Features orbit prop, celestial precession, CCSDS parsing, RF parsing, fits image parsing, and more!