Popular repositories Loading

1. cat_solver cat_solver Public

   Forked from mmaroti/cadical-rs

   Rust bindings for the Kissat SAT Solver

   Rust 3

2. bbchallenge bbchallenge Public

   Tools for attacking the Busy Beaver challenge (https://bbchallenge.org)

   Python 1

3. stackimport stackimport Public

   Forked from uliwitness/stackimport

   A command line tool that reads a HyperCard stack and generates a folder with XML and PBM files from it containing a more easily readable representation of its contents. Based on Tyler Vano's and Re…

   C++

4. corrode corrode Public

   Forked from jameysharp/corrode

   C to Rust translator

   Haskell

5. cpython cpython Public

   Forked from python/cpython

   The Python programming language

   Python

6. naev naev Public

   Forked from naev/naev

   Naev is a 2d action/rpg space game that combines elements from the action, rpg and simulation genres.

   C