Pinned Loading

1. entropia/tip-toi-reveng entropia/tip-toi-reveng Public

   Trying to understand the file format of Tip Toi

   Haskell 637 121

2. incredible incredible Public

   The Incredible Proof Machine

   Haskell 356 34

3. arbtt arbtt Public

   arbtt, the automatic rule-based time-tracker

   Haskell 306 36

4. udp-broadcast-relay udp-broadcast-relay Public

   Small daemon to relay udp broadcast packages on a different subnet.

   C 104 71

5. screen-message screen-message Public

   Very simple tool to display some text as large as possible

   C 52 7

6. loogle loogle Public

   Mathlib search tool

   Lean 51 6