I am a computer science student with interests in theoretical informatics and programming language realization (plus some algorithmics). I like writing code and favourite programming language is C++, but I also sometimes use Java and Python and, to a lesser extent, Rust. I am also interested in functional programming and know the basics of OCaml and Haskell. Not a fan of Javascript.
- froglang - A toy programming language which was written using Flex/Bison for parsing and LLVM for code generation. Unfortunately, it doesn't have any practical use but it's a cool project nevertheless (it comes with a compiler CLI similar to compilers such as gcc). It is currently in a semi-functional state where you can theoretically write any finite-memory program in it since recursion works and can be used to replace loops. Unfortunately, there are no arrays so we can't yet talk about turing-completeness.
- Stack: C++, Flex, Bison, LLVM, CMake
- spaceships - My attempt at making a game about spaceships, inspired by Event Horizon and Reassembly. Currently in development.
- Stack: C++, CMake
- configs - A collections of configs for apps that I use for writing code. It also includes a simple bash "package loader" which allows for quickly adding new things to bashrc by creating small files separated into modules.
- Stack: Bash, Lua, Vimscript
- chat-app-nodejs - A simple chat website which offers websocket-based real-time communication and can be quickly deployed on any machine by using Docker.
- Stack: Docker, Node.js, HTML, CSS, SQLite3
- lambda-calculus-ocaml - My experiments with implementing untyped lambda calculus in the OCaml programming language.
- Stack: OCaml
- codeforces - A repository of my solutions to codeforces problems. It also contains a few cool things such as a script that organizes the solutions into directories based on the contest they are from, a script that creates ready-to-use directories for writing contests, and a small collection of templates and libraries with implementations of useful algorithms.
