Pinned Loading

1. UQ-PAC/BASIL UQ-PAC/BASIL Public

   Scala 8

2. crytic/optik crytic/optik Public

   Optik is a set of symbolic execution tools that assist smart-contract fuzzers

   Python 89 12

3. trailofbits/maat trailofbits/maat Public

   Open-source symbolic execution framework: https://maat.re

   C++ 617 42

4. Enigma-Machine-Emulator Enigma-Machine-Emulator Public

   Simple Python recreation of an Enigma machine based on the German Navy's 1934 M3 model

   Python

5. Conways-Game-of-Life-Recreation Conways-Game-of-Life-Recreation Public

   Recreation of Conway's Game of Life using the olcPixelGameEngine

   C++

6. correct-coding-talk correct-coding-talk Public

   Python