Pinned Loading

1. Toooba Toooba Public

   Forked from bluespec/Toooba

   RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT

   Verilog

2. NixOS_Config NixOS_Config Public

   My NixOS configuration

   Nix 3

3. better-cam-moodle-ff better-cam-moodle-ff Public

   Forked from lakeesiv/better-cam-moodle

   Improves the Style of the Cambridge Moodle. Makes everything a bit more compact and readable

   HTML

4. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection & NixOS

   Nix

5. plasma-manager plasma-manager Public

   Forked from nix-community/plasma-manager

   Manage KDE Plasma with Home Manager

   Nix

6. Compiler_Construction_Supos Compiler_Construction_Supos Public

   Forked from mjp217/2022_cc_supos

   Used for 2025 Compiler Construction Supervisions

   OCaml