diku-compSys / compSys-e2023-pub
☆40Updated 9 months ago
Alternatives and similar repositories for compSys-e2023-pub:
Users that are interested in compSys-e2023-pub are comparing it to the libraries listed below
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆133Updated last year
- ☆11Updated 6 months ago
- ☆30Updated 2 years ago
- Guides and guidelines for software development course☆21Updated 2 months ago
- ☆23Updated 3 weeks ago
- ☆18Updated last year
- A Minecraft client written in rust (currently only working on offline connections)☆10Updated last year
- Boids simulation using c++, SFML and TGUI☆10Updated 2 years ago
- A LaTeX preample for Computer Science handins and presentations (Danish and English) with reverse-engineerable examples☆23Updated 5 months ago
- A data-parallel functional programming language☆2,498Updated this week
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- A stack-based array programming language☆1,796Updated this week
- Neovim support for the Lean theorem prover☆346Updated this week
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 4 months ago
- Code for LOFAR catalogue creation☆11Updated 2 months ago
- latex code from my first year of engineering.☆348Updated 2 months ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆194Updated 7 months ago
- Dodge the blocks, and get the highest score. Now on the Google Play Store!☆17Updated 10 months ago
- Tensors and neural networks in Haskell☆1,111Updated last week
- An especially excellent font.☆13Updated 2 years ago
- Repositorio de la optativa para la FCEIA☆16Updated 2 weeks ago
- 🦥 Supercharge your Haskell experience in neovim!☆530Updated this week
- Master 1 Informatique (2022-2023) at Université Paul Sabatier - public sharing of notes taken from classes☆16Updated last year
- My Rice Setup☆995Updated 2 months ago
- GDSC Solution Challenge 2024!☆16Updated last year
- Materials for my Machine Learning course at University of Wroclaw☆36Updated 3 years ago
- Procedurally generated arcade mountain drift mobile game☆29Updated 3 years ago
- minimal cross-platform standalone C headers☆15Updated 2 months ago
- This repository contains a code to infer distances to stellar clusters and its stars from Gaia parallaxes.☆11Updated 2 weeks ago
- This roadmap's sole purpose is to remind myself/anyone of what is needed to learn in order to become a graphics engineer.☆65Updated 3 months ago