Projects in Awesome Lists by robotane
A curated list of projects in awesome lists by robotane .
https://github.com/robotane/cardioplay
A Playing Card game made with Python and Pygame
card-game game multiplayer-game pygame pygame-gui python python-game python3
Last synced: 08 May 2025
https://github.com/robotane/corrolaire
Project de livre de recueil d'exercies corrigés rédigé avec LaTex
exercice informatique latex latex-document mathematiques tcolorbox template-latex texlive
Last synced: 08 May 2025
https://github.com/robotane/graph-theory-algos
Quelques algorithmes de théorie des graphes implementés en Python
graph-theory graph-theory-algorithms python python3
Last synced: 08 May 2025
https://github.com/robotane/campusconnect
A university searching application which gives some information about Burkina Faso universities.
databinding-android kotlin-android recyclerview-adapter room-database sqlite-database university-project viemodel viewbinding-android
Last synced: 30 Jul 2025
https://github.com/robotane/bcterm
BCTerm is a formal Java bytecode interpreter that models the JVM execution environment with precise tracking of states during bytecode execution. Designed for program verification, bytecode semantics analysis, and termination proof validation.
bytecode bytecode-interpreter bytecode-manipulation jvm termination verification
Last synced: 12 Oct 2025
https://github.com/robotane/rati
Ranking-based termination inference for integer transition systems in the KoAT/KITTeL format.
formal-methods integer-transition-systems koat program-analysis ranking-functions static-analysis termination
Last synced: 12 Jun 2026