Erik Kučák's repositories
SAT-solver-analyzer
The generator of instances of problems which are hard for some SAT-solver
data_structures
Basic data structures programmed in different languages
Language:C++000
dynamic-memory-allocator
Implementation of dynamic memory allocator in C
Language:C000
file-system
My own file system in C
Language:C000
foja_computer
The application for computing some problems in formal languages and automata
Language:JavaScript000
helenos
A portable microkernel-based multiserver operating system written from scratch.
Language:C000
mailtrain
Self hosted newsletter app
Language:JavaScriptGPL-3.0000
simpler-plus-plus
My own compiler written in Java which compiles my own language.
UDP-talker
Project from system programming
Language:C000