pl3onasm / Programming-fundamentalsLinks
Exercises and exam solutions for programming in C and Daphny (1st-year CS course)
☆15Updated last week
Alternatives and similar repositories for Programming-fundamentals
Users that are interested in Programming-fundamentals are comparing it to the libraries listed below
Sorting:
- Templates and generic advice for CS310 etc.☆39Updated last month
- A .tex file to use in the math discord☆13Updated 2 months ago
- book list☆269Updated 6 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
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- An Infinitely Large Napkin☆1,594Updated last week
- A selection of textbook-like course notes for the Imperial College Computing modules.☆84Updated last year
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆444Updated 4 months ago
- Browser extension for VVZ (ETHZ)☆11Updated 2 months ago
- HoTTEST Summer School materials☆311Updated 3 months ago
- ☆17Updated last year
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆48Updated this week
- Lambda calculus interpreter written in TypeScript☆34Updated 3 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆396Updated this week
- Oficjalne repozytorium drugiej edycji ogólnopolskiej Olimpiady Sztucznej Inteligencji☆55Updated 4 months ago
- A place for automata☆77Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆411Updated last month
- Domain-Specific Languages of Mathematics☆442Updated 3 weeks ago
- ☆168Updated 6 years ago
- Points for Free: Embedding Pointful Array Programming in Python☆17Updated last year
- Haskell MOOC University of Helsinki☆396Updated 4 months ago
- Minimal implementations for dependent type checking and elaboration☆733Updated last month
- The agda-unimath library☆267Updated last week
- Notes and source code for a semester-long course introducing Programming Language fundamentals☆37Updated 3 months ago
- Neovim support for the Lean theorem prover☆402Updated this week
- ☆337Updated last week
- An APL-like programming language☆999Updated 3 weeks ago
- Aici puteti gasi descrierile solutiilor de la olimpiadele si concursurile romanesti de informatica☆47Updated 2 weeks ago
- ☆29Updated 5 months ago
- Unit tests for problems of Object Oriented Programming course on TCS☆10Updated 3 years ago