Alternatives and similar repositories for su-guides

Users that are interested in su-guides are comparing it to the libraries listed below

• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆139Updated last year
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated 3 months ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• diku-dk / diku-canvas
  Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)
  ☆36Updated 2 months ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆23Updated last week
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆450Updated last week
• diku-dk / ap-e2025-pub
  Public repository for Advanced Programming
  ☆60Updated last month
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆368Updated last year
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 11 months ago
• franciscod / campus-fetch
  ☆15Updated 2 weeks ago
• diku-compSys / compSys-e2024
  ☆23Updated 8 months ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆15Updated last year
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆774Updated this week
• reanimate / reanimate
  Haskell library for building declarative animations based on SVG graphics
  ☆1,171Updated 10 months ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,126Updated last month
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 9 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆807Updated last year
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆351Updated 3 months ago
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 8 months ago
• david-christiansen / itu-thesis
  A highly unofficial, still experimental LaTeX document class for ITU M.Sc. and Ph.D. theses and dissertations
  ☆20Updated 7 years ago
• mdarocha / nuget-packageslock2nix
  A flake utility to convert Nuget package locks to Nix dependency list without generating any files.
  ☆25Updated this week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆426Updated 2 weeks ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆19Updated last year
• leanprover / lean3
  Lean Theorem Prover
  ☆2,154Updated 2 years ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆280Updated 3 months ago
• fsprojects / FSharpPlus
  Extensions for F#
  ☆919Updated this week
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆751Updated 4 months ago