Pinned Loading

1. ftbv/grid-penguin ftbv/grid-penguin Public

   Grid Penguin: a District Heating network simulator

   Python 5 1

2. ct ct Public

   A library of category theory in Lean

   Lean

3. Jq-clone Jq-clone Public

   A simple clone of Jq written in Haskell

   Haskell

4. Student-Freelancing-App Student-Freelancing-App Public

   Student project, allowing companies to post job offers and make contact with students

   Java

5. Lecture-Helper Lecture-Helper Public

   Java

6. Reversi Reversi Public

   Reversi_application

   JavaScript