Pinned Loading

1. e-valuation/EvaP e-valuation/EvaP Public

   a university course evaluation system written in Python using Django

   Python 101 147

2. tealdeer-rs/tealdeer tealdeer-rs/tealdeer Public

   A very fast implementation of tldr in Rust.

   Rust 4.6k 130

3. dotconfig dotconfig Public

   My config files :^)

   Lua

4. clircle clircle Public

   Detect cyclic file handles with ease.

   Rust 1 3

5. cp cp Public

   Competitive programming code snippets and reference document

   C++

6. lean-seminar-2023 lean-seminar-2023 Public

   Construction of a flow equivalent forest from a flow matrix in Lean 4

   Lean 2