randombit

followers

following

stars

Vermont

https://randombit.net

Jack Lloyd's starred repositories

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustApache-2.034334 295 5104

Bend

A massively parallel, high-level programming language

Language:RustApache-2.016916 92 203

wasmtime

A fast and secure runtime for WebAssembly

Language:RustApache-2.014909 183 2450

N64Recomp

Tool to statically recompile N64 games into native executables

Language:C++MIT6187 95 57

pest

The Elegant Parser

Language:RustApache-2.04518 43 458

Kind1

A modern proof language

Language:JavaScriptMIT3535 74 213

earlyoom

earlyoom - Early OOM Daemon for Linux

Language:CMIT2832 32 212

dijo

scriptable, curses-based, digital habit tracker

Language:RustMIT2787 20 69

parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Language:RustApache-2.02639 32 209

Symphonia

Pure Rust multimedia format demuxing, tag reading, and audio decoding library

Language:RustMPL-2.02220 19 173

tio

A serial device I/O tool

Language:CNOASSERTION1834 35 152

ClangBuildAnalyzer

Clang build analysis tool using -ftime-trace

Language:C++Unlicense973 24 41

OffsetAllocator

Fast O(1) offset allocator with minimal fragmentation

Language:C++MIT731 10 2

hash-prospector

Automated integer hash function discovery

Language:CUnlicense668 27 22

binsec

BINSEC binary-level open-source platform

Language:OCamlLGPL-2.1311 14 34

pareas

GPU-accelerated compiler

Language:Futhark301 6 1

kind

Temporary repository for Kind2's refactor based on HVM2

Language:RustMIT252 150

tpm2-totp

Attest the trustworthiness of a device against a human using time-based one-time passwords

Language:CBSD-3-Clause160 13 29

era-zk_evm

Out-of-circuit zkEVM implementation

Language:RustApache-2.079 12 5

Reef

Reef: A zkSNARK system for proving that a committed document matches a regex

Language:RustMIT59 10 5

libcrux

The formally verified crypto library for Rust

Language:CApache-2.051 10 131

libxmtp

LibXMTP is a shared library encapsulating the core functionality of the XMTP messaging protocol, such as cryptography, networking, and language bindings.

Language:RustMIT34 9 264

liboprf

library providing OPRF and Threshold OPRF based on libsodium

Language:CLGPL-3.019 3 2

botan-cmake

Easy botan integration into cmake projects using automatically generated amalgamation files.

Language:CMakeUnlicense14 1 2

cairo_bn

Language:Cairo1300

harpo

A tool for secret-shared passphrases.

Language:RustGPL-3.012 20

ml-dsa-fia-demo

This code demonstrates fault injection analysis (FIA) attacks and countermeasures on Module Lattice Digital Signature Algorithm (ML-DSA).

MIT600

Jumping4Bernstein-YangInversion

Language:AssemblyCC0-1.06 40

range-proofs

Simple benchmarks for various proofs across multiple proof systems

Language:Rust4 20

panda

An open-source GPU library for accelerating Zero-Knowledge-Proof(ZKP)

Language:Cuda400