Stars
- All languages
- AGS Script
- Assembly
- C
- C#
- C++
- CMake
- Cairo
- Circom
- Clojure
- CodeQL
- Common Lisp
- Coq
- Cuda
- Dafny
- Dockerfile
- Emacs Lisp
- F*
- Futhark
- GLSL
- Go
- HTML
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- Koka
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Nim
- OCaml
- PHP
- PLSQL
- Perl
- Pony
- Python
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sage
- Scala
- Scheme
- Shell
- Standard ML
- SystemVerilog
- TLA
- TeX
- Text
- TypeScript
- VHDL
- Verilog
- Vue
- WebAssembly
- Zig
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
A cryptographic framework for building collaborative applications over an untrusted server. Research prototype.
jose – JSON Object Signing and Encryption (header-only, C++20)
Reticulum Networking Stack implementation written in Rust
LoTRS: Practical Post-Quantum Structured Threshold Ring Signatures from Lattices
Cpp2Rust: Automatic Translation of C++ to Safe Rust
A kernel designed to run one and only one application in a virtualized environment
Build and query a graph database representation of source code
A fast, power efficient, native Reticulum stack for embedded microcontrollers.
Fast, smart file search with fuzzy matching and natural language queries
Constant integer division faster than compiler-generated code
A 3D raycasting engine running inside a TrueType font's hinting virtual machine
PKCS#11 module that exposes Raspberry Pi firmware OTP ECDSA key through the PKCS#11 interface
Open-source, low-cost 10.5 GHz PLFM phased array RADAR system
Lightweight AJAX navigation library — 5KB alternative to Turbo and htmx
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
fully reverse-engineered and re-implemented version of the NSA backdoored encryption algorithm of the UA-8295 Short-Burst Message Terminal, including emulator.
A Rust compiler with ownership checking, written in PHP
☁️ Ultra-fast, secure & lightweight self-hosted cloud storage — your files, photos, calendars & contacts, all in one place. Built in Rust.
Pure Rust + CUDA LLM inference engine
reading the undocumented mems accelerometer + gyroscope on apple silicon macbooks via iokit hid