- All languages
- ABAP
- ANTLR
- Assembly
- C
- C#
- C++
- Common Lisp
- Coq
- Cython
- Dhall
- Dockerfile
- Emacs Lisp
- Erlang
- Forth
- GDScript
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Makefile
- Meson
- Nix
- OCaml
- PHP
- PowerShell
- Python
- R
- Racket
- Raku
- Reason
- RenderScript
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- SystemVerilog
- TeX
- TypeScript
- Verilog
- WebAssembly
- XSLT
- Zig
- xBase
Starred repositories
Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps
Power Profiling Kit 2 unofficial python api.
WebAssembly (Wasm) arch support for the Linux kernel
A multithreaded Minecraft server built for redstone.
Repo for CHERIoT-SAFE development FPGA platform
Kadeessh (formerly Caddy-SSH) is a general-purpose, extensible, modular, memory-safe SSH server built in Go
Prefetch any fetcher function call, e.g. a package source
Generate Nix fetcher calls from repository URLs [maintainer=@figsoda]
Pragmatic microkernel-based OS with fully asynchronous I/O
A steamworks implementation for nw.js/electron games
Bit-banged 100 MBit/s Fast Ethernet transmitter and UDP framer for Raspberry Pi RP2040/RP2350
“Debian 小药盒”,一个用来包装 Debian 安装介质的盒子设计和介绍用的说明书。
Set of tools to interact with LTSpice. See README file for more information.
(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage
A Practical Tool for Reducing Python Dependency Bloat
High-performance regular expression matching library
A low-level virtualization interface for Linux-based systems using WebAssembly