Pinned

1. cadical-sha256 cadical-sha256 Public

   CaDiCaL SAT Solver with SHA-256 cryptanalysis routines.

   C++ 1

2. cryptanalysis cryptanalysis Public

   A collection of tools to study the inversion or collision of truncated versions of MD4, MD5, SHA-256 with SAT solving using techniques such as Cube-and-Conquer, programmatic SAT, Dobbertin's Attack…

   C++ 1

3. torrenter torrenter Public

   A native macOS GUI-based BitTorrent client.

   C++ 6 1

4. darwin darwin Public

   An open-source, extensible, and modular evolution simulator. It's primarily designed for evolution of entities based on neural networks.

   C++ 1

5. ondesked ondesked Public

   A markup language intended to make platform-native GUI development of desktop applications much easier and more efficient.

   Haskell 2

6. NeuroGen NeuroGen Public

   A 3D self-driving car simulator based on the NEAT algorithm, powered by Unity, and written in C#.

   C# 1