Pinned Loading

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

   Trying to understand the file format of Tip Toi

   Haskell 805 128

2. incredible incredible Public

   The Incredible Proof Machine

   Haskell 386 38

3. arbtt arbtt Public

   arbtt, the automatic rule-based time-tracker

   Haskell 339 38

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

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

   C 123 84

5. screen-message screen-message Public

   Very simple tool to display some text as large as possible

   C 63 9

6. loogle loogle Public

   Mathlib search tool

   Lean 110 23