Pinned Loading

1. x1e-nixos-config x1e-nixos-config Public

   NixOS configs for the Lenovo Yoga Slim 7x

   Nix 19 4

2. lean-esp32 lean-esp32 Public

   C++ 1

3. lean-vulkan lean-vulkan Public

   Lean 5

4. c_compiler c_compiler Public

   A proof of concept C compiler. (BUTE Training Project Laboratory)

   C

5. uexpr_coq uexpr_coq Public

   An attempt at formalizing my `uexpr` language in Coq

   Coq

6. gui_calendar gui_calendar Public

   A fully fledged desktop calendar application, scriptable in its own purpose made scripting language

   C