Control WS2812B and many more types of digital RGB LEDs with an ESP32 over WiFi!

PQClean for Node.js, Deno, and browsers 🔏🔑 Node.js native addon and WebAssembly implementation

CIRCL: Cloudflare Interoperable Reusable Cryptographic Library

Prototype implementation of a hyperbug finder for ∀∃-safety hyperproperties to accompany the OOPSLA 2024 paper "Finding ∀∃ Hyperbugs using Symbolic Execution" by Arthur Correnson, Tobias Nießen, Be…

A command-line benchmarking tool

Public repository of the QuickJS Javascript Engine.

QuickJS, the Next Generation: a mighty JavaScript engine

Ergonomic bindings to SQLite for Rust

egraphs + datalog!

egg is a flexible, high-performance e-graph library

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Brotli compression format

🦀 How to minimize Rust binary size 📦

An innovative superfamily of fonts for code

A fast Bloom filter implementation in Rust

TypeScript-first schema validation with static type inference

Automated integer hash function discovery

Private symbols for node.js

AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers

ABC: System for Sequential Logic Synthesis and Formal Verification

Secure datagram transmissions over untrusted channels, designed for CubeSats 📡🔐🛰

Windows software for sharing locally connected USB devices to other machines, including Hyper-V guests and WSL 2.

Node.js bindings for the reference implementation of the Classic McEliece KEM.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

JWA, JWS, JWE, JWT, JWK, JWKS for Node.js, Browser, Cloudflare Workers, Deno, Bun, and other Web-interoperable runtimes

The Vampire Theorem Prover

Virtual whiteboard for sketching hand-drawn like diagrams

Gitbook documentation for libsodium

A tiny but valid `init` for containers

The JavaScript / Wasm runtime that powers Cloudflare Workers