Pinned Loading

1. atria atria Public

   Module that connects a llm repOK generator with a randoop verifier to generate representation invariants for Java classes.

   Java 1

2. llm-repok-generator llm-repok-generator Public

   Python API to use llama-cpp-python as a repOK generator for Java classes with any LLM with .gguf binary format.

   Python 1

3. AFungo/distributed-ticket-sale-system AFungo/distributed-ticket-sale-system Public

   Python

4. splitred splitred Public

   A mini web app to take note of your expenses with your friends and split the money between them.

   TypeScript 1

5. oo-design-final oo-design-final Public

   A set of programs to practice the design patterns from the book "Head First Design Patterns"

   Java 2

6. oo-design-2024-classroom/tp2-buil-buttignol oo-design-2024-classroom/tp2-buil-buttignol Public

   A full project with different rules of Game of Life, adaptable to changes in the requirements.

   Java 1