Pinned Repositories
DD1351-Task-2
Natural deduction proof verifier
DD1351-Task-3
CTL model verifier
EdwinAhl
ID1019-Huffman
Huffman algorithm in elixir
ID1019-Interpreter
Interpreter built in elixir
ID1019-Philosophers
Multithreading elixir
ID1021-Heap
Heap implemented using array, list and tree
IS1200-PongDeluxe
Pong for the ChipKIT Uno32 toghether with ChipKIT Basic I/O
IV1351-Soundgood-Music-DB
Database for the Soundgood Music School
IV1351-Task-4
JDBC for Soundgood Music School DB
EdwinAhl's Repositories
EdwinAhl/IS1200-PongDeluxe
Pong for the ChipKIT Uno32 toghether with ChipKIT Basic I/O
EdwinAhl/DD1351-Task-2
Natural deduction proof verifier
EdwinAhl/DD1351-Task-3
CTL model verifier
EdwinAhl/EdwinAhl
EdwinAhl/ID1019-Huffman
Huffman algorithm in elixir
EdwinAhl/ID1019-Interpreter
Interpreter built in elixir
EdwinAhl/ID1019-Philosophers
Multithreading elixir
EdwinAhl/ID1021-Heap
Heap implemented using array, list and tree
EdwinAhl/IV1351-Soundgood-Music-DB
Database for the Soundgood Music School
EdwinAhl/IV1351-Task-4
JDBC for Soundgood Music School DB
EdwinAhl/ID1021-Graphs
Shortest distance between two points on a map
EdwinAhl/ID1021-Queues
Queue using single linked list, double linked list and array
EdwinAhl/IK1203-Task-4
Concurrent HTTP server