![:octocat: :octocat:](https://github.githubassets.com/images/icons/emoji/octocat.png)
Lists (28)
Sort Name ascending (A-Z)
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
- 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
- Gnuplot
- Go
- HCL
- HTML
- Handlebars
- Haskell
- HolyC
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Motoko
- Mustache
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Pony
- PowerShell
- Processing
- Prolog
- Pug
- Python
- Ragel
- Reason
- Rich Text Format
- RobotFramework
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- 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
🎭 Stateful serverless framework for Cloudflare Workers and Rivet. Build AI agents, realtime apps, game servers, and more.
kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux development
View HTTP/HTTPS requests made by any Linux program
AI-native (edge and LLM) proxy for agents. Engineered with fast ⚡️ LLMs for task (query) routing, rich observability, and the seamless integration of prompts with your APIs for agentic tasks. Built…
Waydroid uses a container-based approach to boot a full Android system on a regular GNU/Linux system like Ubuntu.
A lightweight CLI and local API server to create, run and manage macOS and Linux virtual machines (VMs) natively on Apple Silicon.
Build terminal-themed web applications with Rust and WebAssembly. Powered by Ratatui.
The easiest, most secure way to use WireGuard and 2FA.
Analytical database for data-driven Web applications 🪶
Linux running inside a PDF file via a RISC-V emulator
A reasonable theorem prover for your reasoning tasks!
A guide that explains how programs transform from source code to executables. Deep dive into ELF format, linking processes, and binary optimization techniques. Perfect for systems programmers, C de…
Sources for the book "Machine Learning in Production"
Alt util to AWS cloudwatch agent that works w/ systemd journal and sends the data in batches to AWS cloudwatch.
DocumentDB offers a native implementation of document-oriented NoSQL database, enabling seamless CRUD operations on BSON data types within a PostgreSQL framework. Powering vCore-based Azure Cosmos …
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
FireFlyer Record file format, writer and reader for DL training samples.
This is a replicate of DeepSeek-R1-Zero and DeepSeek-R1 training on small models with limited data
Modifying the Steam Deck into a compact, mobile, AR gaming device. Not endorsed or supported by Valve and is likely to brick your device...
Lightpanda: the headless browser designed for AI and automation
Run Kubernetes on MySQL, Postgres, sqlite, dqlite, not etcd.
A highly integrated, high end, open source laptop. Attempt the impossible.