Highlights
- Pro
Pinned Loading
-
Ant-Simulator
Ant-Simulator PublicGraphical tool for the simulation of the foraging behaviour of an ant colony in 2D CA-generated caves.
C++ 1
-
BRAIR-Education/dapozzo_line_tracking
BRAIR-Education/dapozzo_line_tracking PublicSimulated line tracking robot developed for the final exam of the Robotics course at UniPi.
-
DESIRA-Chatbot
DESIRA-Chatbot PublicChatbot for automated handling of reports concerning hydrogeological instability. Done during my internship at ISTI-CNR and part of the DESIRA project.
JavaScript
-
LandmarkHunter
LandmarkHunter PublicGPS-based Android app which shows nearby landmarks and takes note of the ones you visited.
Java
-
Lab-Innovative-Software-Quantum/lqccs-interpreter
Lab-Innovative-Software-Quantum/lqccs-interpreter PublicInterpreter for linear quantum CCS
OCaml 3
-
SecureInterpreter
SecureInterpreter PublicInterpreter for a simple functional language with a number of security primitives built into it. Developed as an assigment for the Language Based Technology for Security at UniPi.
OCaml
If the problem persists, check the GitHub status page or contact support.