Pinned

1. robusta robusta Public

   Easy interop between Rust and Java

   Rust 313 13

2. logicamente logicamente Public

   A first-order logic theorem prover with SLD resolution.

   Python 7

3. ABaldrati/dawntime ABaldrati/dawntime Public

   https://reddeadrecovery.gitlab.io/dawntime/ In dawntime we implement a volumetric light scattering effect based on the postprocessing technique described by Kenny Mitchell.

   TypeScript 7

4. LorenzoAgnolucci/Gutenberg LorenzoAgnolucci/Gutenberg Public

   Gutenberg is a pipeline for training a neural network in segmenting and recognising frequent words in early printed books, in particular we focus on Gutenberg’s Bible.

   Python 7 1

5. LorenzoAgnolucci/Segway LorenzoAgnolucci/Segway Public

   We implement a control system that stabilize the robot in its vertical position, which corresponds to the unstable equilibrium state. The hardware board used to develop the robot is a LEGO MINDSTOR…

   C++ 5

6. phone_finder phone_finder Public

   A simple program to look through Android phones' specs and generate an HTML report

   JavaScript 6