Updated 2023-07-15 14:46:17 +00:00
Renskrivning af beviser til brug til eksamen i kurset Lineær algebra på IFM, AU i 2016. Beviserne er taget fra kursets tilhørende notesamling skrevet af Jesper Funch Thomsen.
Updated 2023-07-15 14:46:25 +00:00
Updated 2023-07-15 14:46:27 +00:00
Updated 2023-07-15 14:46:31 +00:00
A bot for checking grades on Stads
Updated 2023-07-15 14:46:33 +00:00
Scheme-based parser for a cooking DSL
Updated 2023-07-15 14:46:35 +00:00
Updated 2023-07-15 14:46:53 +00:00
Updated 2023-07-15 14:46:56 +00:00
Updated 2023-07-15 14:46:58 +00:00
Updated 2023-07-15 14:47:50 +00:00
Updated 2023-07-15 14:47:51 +00:00
Updated 2023-07-15 14:47:53 +00:00
Updated 2023-07-15 14:48:10 +00:00
Updated 2023-07-15 14:48:11 +00:00
Updated 2023-07-15 14:49:33 +00:00
Updated 2023-07-15 14:49:43 +00:00
Updated 2023-07-15 14:50:08 +00:00
Bot for Slack that mentions NP-problems every time someone explicitly postulates that there is no such thing.
Updated 2023-07-15 14:50:10 +00:00
Updated 2023-07-15 14:50:20 +00:00
An experimental ADS (Abstract Data Structure) framework written in Go (golang) that implements a generic and modular ADS, which the user may expand upon to implement fx. graphs, trees, heaps, linked lists, etc.
Updated 2023-07-15 14:50:21 +00:00