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
- Perl
- Pony
- Python
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sage
- Scala
- Scheme
- Shell
- Standard ML
- SystemVerilog
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- WebAssembly
- Zig
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.
reading the undocumented mems accelerometer + gyroscope on apple silicon macbooks via iokit hid
A 5-20x faster experimental Homebrew alternative
A security-focused library OS supporting kernel- and user-mode execution
OpenCiv3 is an open-source, cross-platform, mod-oriented, modernized remake of Civilization III by the fan community built with the Godot Engine and C#, with capabilities inspired by the best of th…
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)
Proof-of-concept C implementation of AES with masking technique to prevent side-channel analysis attacks
Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).
A reference architecture for differential fuzzing using a formally verified oracle
High performance Zstandard decompression in a pure JavaScript, 8kB package
RNode is an open, free and flexible digital radio interface with many uses
Information hub for our project training the largest possible historical LLMs.
A secure enclave signing solution (read-only mirror)
ZeroOS: A Universal Modular Library OS for zkVMs
Mojo-V: A RISC-V instruction set extension for privacy-oriented programming. Mojo-V allows programmers to write software that computes on data that no software or person can see, except the data ow…
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!