pl3onasm / Programming-fundamentalsLinks
Exercises and exam solutions for programming in C and Daphny (1st-year CS course)
☆13Updated 7 months ago
Alternatives and similar repositories for Programming-fundamentals
Users that are interested in Programming-fundamentals are comparing it to the libraries listed below
Sorting:
- Collection of JUnit Tests for GAD exercises at TUM in SS22☆34Updated 3 years ago
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- Clustering notions for the knowledge LaTeX package☆17Updated 3 months ago
- Materialien für das FPV-Tutorium im Sommersemester 2023☆34Updated last year
- Browser extension for VVZ (ETHZ)☆10Updated last month
- PGdP-Tests-WS21/22 is a student-created repository used to share code tests.☆50Updated 3 years ago
- ☆328Updated 5 months ago
- This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21☆33Updated 3 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆84Updated last year
- An especially excellent font.☆13Updated 2 years ago
- latex code from my first year of engineering.☆380Updated 7 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…☆137Updated last year
- A systems theorem prover☆11Updated last year
- Lambda calculus interpreter written in TypeScript☆33Updated 2 months ago
- HoTTEST Summer School materials☆311Updated 2 months ago
- Interactive Coq Proofs in Vim☆300Updated last month
- Neovim support for the Lean theorem prover☆392Updated last week
- ☆17Updated last year
- Did someone say... scuffed UCSD historical enrollment data?☆46Updated 3 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 9 months ago
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆430Updated 4 months ago
- ☆14Updated 10 months ago
- Server to host lean games.☆311Updated this week
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- Natural Number Game☆208Updated this week
- ☆41Updated 2 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆393Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆407Updated 3 weeks ago
- Put your DHBW schedule where it belongs (Google Calendar, Outlook, Apple, etc.)☆33Updated last month