A RISC-V CPU implemented with Verilog HDL

Hello eBPF world! Hello Java world! Let's discover eBPF together and write Java user-land library along the way.

Elegant Java library for HTTP request processing, using virtual threads.

Toy garbled circuits

Implementation of floating-point rounding modes for Rust

CVE-2022-0185

A new operating system kernel with Linux binary compatibility written in Rust.

build-once run-anywhere c library

TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.

Rust programming, in French.

The Elegant Parser

Anime Girls Holding Programming Books

binary ninja custom architecture plugin for corCTF 2021 vmquack challenge

A container runtime written in Rust

A library and CLI to solve, check, and generate proof-of-work challenges using kCTF's scheme.

Corpus of public v8 vulnerability PoCs.

A tool for writing better scripts

Empowering everyone to build reliable and efficient software.

Safe Rust <---> GraalVM Polyglot bindings using procedural macros

Depth-Aware Video Frame Interpolation (CVPR 2019)

Datamining Discord changes from the JS files

An inquiry into nondogmatic software development. An experiment showing double performance of the code running on JVM comparing to equivalent native C code.

C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

Private front-end for Reddit

🤠 Home to Wrangler v1 (deprecated)

🤖 The Modern Port Scanner 🤖

An incremental parsing system for programming tools