Popular repositories Loading

1. godot godot Public

   Forked from godotengine/godot

   Godot Engine – Multi-platform 2D and 3D game engine

   C++

2. tcecgui tcecgui Public

   Forked from TCEC-Chess/tcecgui

   JavaScript

3. Factorio-SAT Factorio-SAT Public

   Forked from R-O-C-K-E-T/Factorio-SAT

   Enhancing the Factorio experience with SAT solvers

   Python

4. prjunnamed prjunnamed Public

   Forked from prjunnamed/prjunnamed

   End-to-end synthesis and P&R toolchain

   Rust

5. painless painless Public

   Forked from lip6/painless

   A framework to ease parallelization of sequential SAT solvers

   C++

6. halloy halloy Public

   Forked from squidowl/halloy

   IRC application written in Rust

   Rust