Popular repositories Loading

1. adsphd adsphd Public

   Forked from wannesm/adsphd

   KU Leuven Arenberg Doctoral School PhD dissertation latex class

   TeX

2. penpa-edit penpa-edit Public

   Forked from swaroopg92/penpa-edit

   Web application to create and solve Sudokus and Puzzles

3. ncspot ncspot Public

   Forked from hrkfdn/ncspot

   Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.

   Rust

4. z3.rs z3.rs Public

   Forked from prove-rs/z3.rs

   Rust bindings for the Z3 solver.

   Rust

5. slidev slidev Public

   Forked from slidevjs/slidev

   Presentation Slides for Developers

   TypeScript

6. coom-suite coom-suite Public

   Forked from potassco/coom-suite

   🛠️ Python package to parse and solve product configuration problems specified in COOM using ASP

   Python