High-performance In-browser LLM Inference Engine

Hardware Model Checker

Structured BVA

A high performance Python graph library implemented in Rust.

Leonard Haddad's little portfolio website using Github Pages and Jekyll, containing a bunch of useful tools.

Deep learning in Rust, with shape checked tensors and neural networks

Rust bindings for the CaDiCaL SAT solver

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust

Technion CS Project for Pa'amonim HR.

IOT device to view images via rotating LEDs.