diku-dk / DIKUArcadeLinks
☆20Updated 2 months ago
Alternatives and similar repositories for DIKUArcade
Users that are interested in DIKUArcade 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
- ☆19Updated 5 months ago
- ☆39Updated 11 months ago
- Public material for IT-security, B1, E2020 @ DIKU, Dept. CS, Univ. Cph☆10Updated 4 years ago
- A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU☆15Updated 6 years ago
- Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph☆21Updated 3 years ago
- A physically based offline renderer☆10Updated last year
- 3D game engine implemented in C++ and OpenGL 3.0☆9Updated 3 years ago
- multi platform game engine☆11Updated 5 months ago
- A hacky implementation, using bleeding edge features, of the STL☆41Updated 2 years ago
- C++ Framework for Computer Graphics Course at UPF☆10Updated 5 months ago
- C++ Template Turing Machine☆15Updated 7 years ago
- 2D game engine☆7Updated 5 years ago
- Cerver is a development framework, created by Ermiry, designed to provide you with the necessary tools for creating fast and reliable mul…☆18Updated 3 years ago
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 6 months ago
- Embedding Pointful Array Programming in Python☆17Updated 9 months ago
- A data-parallel functional programming language☆2,536Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆374Updated last week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆522Updated last month
- An incomplete game engine with tons of useful code.☆11Updated 7 months ago
- Engine being created for homeworks in UPC Master's Degree in Advanced Programming for AAA Video Games.☆12Updated 3 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆354Updated 5 months ago
- Multi platform setup for Coq, Coq libraries and tools☆203Updated this week
- Rendering Framework☆8Updated last year
- OpenGL 3D game engine☆7Updated 10 months ago
- Coq集合论中文教程☆44Updated 3 years ago
- 2D game framework☆11Updated 4 years ago
- Spartan type theory☆267Updated last year
- 🎮 Personal open-source cross-platform game engine☆25Updated this week
- Modeling and Proving in Computational Type Theory☆101Updated 2 weeks ago