All notes and materials for the CS229: Machine Learning course by Stanford University

A Linux-capable RISC-V multicore for and by the world

Consistency checker for memory subsystem traces

High quality and composable RTL libraries in SystemVerilog

Stitch together Verilog modules with Rust

Abstract engine for text edition in OCaml

A markup-based typesetting system that is powerful and easy to learn.

Minimal LLM inference in Rust

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

♞ lichess.org: the forever free, adless and open source chess server ♞

A collection of resources on modern C++

📺 Discover the latest machine learning / AI courses on YouTube.

my phd thesis

Wired Logic - a pixel based logic simulator

A relational database for embedded devices and sensors nodes

LR(1) parser generator for Rust

CAD from a parallel universe

A python telnet/ssh server for modern terminals. In spirit of classic software such as ami/x, teleguard, renegade, iniquity.

self-contained, serverless, zero-configuration, transactional redis-compatible database engine. rlite is to Redis what SQLite is to SQL.

Z-scale Microarchitectural Implementation of RV32 ISA

A Window Manager Toolkit for Guile Scheme

Csmith, a random generator of C programs

the ultimate yak shave

Protect yourself against DNS poisoning in China.

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

"interesting" VM in C. Let's see how this goes.

Yet Another Forth Core...

The client library for ProteusISC

The seL4 microkernel

Produces persistent, respawning "super" cookies in a browser, abusing over a dozen techniques. Its goal is to identify users after they've removed standard cookies and other privacy data such as Fl…