Popular repositories Loading

1. learn-lean-riddles learn-lean-riddles Public

   Riddles solved in Lean4 for educational purposes

   Lean 7 2

2. plant-pot plant-pot Public

   Create a plant pot that can detect low humidity and pump water when necessary (using Raspberry Pico and Rust)

   Rust 6 1

3. sysghent.github.io sysghent.github.io Public

   Website with information about Systems Programming Ghent organization

   HTML 4 1

4. .github .github Public