A free, open-source Java library for automata learning algorithms

⭐ Awesome HTML Book & Course with interactive CodeSandboxes. Learn HTML online with pleasure.

A Framework for Generating and Executing Digital Twins

Writing an OS in Rust

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Exercises to learn how to fuzz with American Fuzzy Lop

A fork and successor of the Sulley Fuzzing Framework

PyTorch implementation of the NIPS-17 paper "Poincaré Embeddings for Learning Hierarchical Representations"

A C++ library for driving WS2812 RGB LED's (known as 'NeoPixels' by Adafruit) directly from a Raspberry Pi with accompanying Python wrapper.