An open API service indexing awesome lists of open source software.

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/hellonew

JCloudify demo project

Last synced: 08 May 2025

https://github.com/robotane/elms

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/sayhello

A hello world app with JCloudify

Last synced: 08 May 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