Popular repositories Loading

1. SAT-solver-analyzer SAT-solver-analyzer Public

   The generator of instances of problems which are hard for some SAT-solver

   Python 1

2. UDP-talker UDP-talker Public

   Project from system programming

   C

3. foja_computer foja_computer Public

   The application for computing some problems in formal languages and automata

   JavaScript

4. dynamic-memory-allocator dynamic-memory-allocator Public

   Implementation of dynamic memory allocator in C

   C

5. file-system file-system Public

   My own file system in C

   C

6. simpler-plus-plus simpler-plus-plus Public

   My own compiler written in Java which compiles my own language.

   Java