Popular repositories Loading

1. line-folower line-folower Public

   This project aims to developp the code necessary for a simple robot to folow a line, maintaining a safe distance to other robots in the convoy.

   C

2. RPG_creator RPG_creator Public

   C

3. Game-of-life Game-of-life Public

   A C Conway's game of life implementation, using the SDL library as graphics backend.

   C

4. prey-predator-sim prey-predator-sim Public

   A java prey-predator simulation with various settings, as well as distributed computing versions over the network

   Java

5. tiny-fixedpoint tiny-fixedpoint Public

   An abstract domain implementation representing significant bits in fixedpoint operations.

   OCaml

6. spark-by-example spark-by-example Public

   Forked from tofgarion/spark-by-example

   SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

   Ada