diku-dk / su-guidesLinks
Guides and guidelines for software development course
☆20Updated 8 months ago
Alternatives and similar repositories for su-guides
Users that are interested in su-guides are comparing it to the libraries listed below
Sorting:
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆137Updated last year
- The collected works of F. W. Lawvere☆366Updated last year
- A textbook on informal homotopy type theory☆2,111Updated 2 months ago
- Zettelkasten or Slip box with notes written in LaTeX☆80Updated 4 months ago
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆465Updated 6 months ago
- Public repository for Advanced Programming☆59Updated 9 months ago
- Simple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)☆34Updated 2 weeks ago
- papers of Per Martin Löf☆805Updated last year
- An open-source, customizable intermediate logic textbook☆1,219Updated last week
- Clustering notions for the knowledge LaTeX package☆19Updated last month
- Haskell library for building declarative animations based on SVG graphics☆1,164Updated 9 months ago
- 📜 Haskell course info, plan, video lectures, slides☆1,485Updated 2 years ago
- Lecture notes for the Type Systems course given in Autumn 2023☆13Updated last year
- latex code from my first year of engineering.☆392Updated 9 months ago
- Exercises and exam solutions for programming in C and Daphny (1st-year CS course)☆17Updated last month
- Resources for learning Category Theory for an enthusiast☆645Updated 2 years ago
- An introduction to programming language theory in Agda☆1,464Updated this week
- ☆431Updated 3 years ago
- Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph☆20Updated 3 years ago
- Repositorio de la optativa para la FCEIA☆15Updated 7 months ago
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- Neovim support for the Lean theorem prover☆423Updated this week
- An opinionated list of resources for learning Haskell☆927Updated 3 years ago
- A purely functional programming language with first class types☆2,761Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆736Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,737Updated last week
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆499Updated last year
- My C# and F# Advent Of Code solutions☆79Updated 11 months ago
- LINQ (LINQ2Objects) for Powershell☆76Updated 4 years ago