Pinned Loading

1. chwifi chwifi Public

   network profile manager for wireless networks with rolling password systems

   Shell 7 1

2. masking-tape-game masking-tape-game Public

   a silly real-world game to play with minimal setup and materials needed

   TeX

3. d409f19/cellmata d409f19/cellmata Public

   programming language for effectively writing cellular automata

   Kotlin 5

4. d702e20/CGAAL d702e20/CGAAL Public

   An on-the-fly, multi-threaded ATL model checker on concurrent game structures

   Rust 10 1

5. mir-owner-guillotine mir-owner-guillotine Public

   (MSc) Rust Borrow-Checking on MIR POC, aiming to improve accuracy

   Python

6. DEIS-Tools/WordAAL DEIS-Tools/WordAAL Public

   Interactive UPPAAL playing Wordle demo

   Svelte