Marcin Brojek's Projects
aNote is a web app for managing university course notes, functioning as a social portal with students and instructors. Authorized users can create subjects and class blocks, and perform all actions available to regular users, who can take responsibility for class block notes and propose edits.
The backend for the Pingerini app, a simple organizer tool to help teams manage their work. Key features include task creation, sharing, and "pinging" - sending short, purpose-driven messages. Users can also form groups to share task responsibilities.
The Gamma Game Project is a console-based board game implemented in C. It features interactive gameplay where players can move around the board, occupy fields, and execute special actions. The project includes documentation generated using Doxygen.
Node.js web application that uses a weather API to provide real-time weather forecasts based on user-inputted city names.
An interpreter for an imperative programming language with syntax based on a subset of C/C++. The program consists of variable and function declarations. When executed, it runs the declared main function. Written in Haskell.
A tool for automatically verifying whether a given first-order logic formula is a tautology, based on Herbrand's theory and the Davis-Putnam SAT solver. Implemented in C++.
The Latte compiler translates Latte language files into LLVM; Latte is an imperative programming language closely resembling a subset of Java's imperative features.
A web application for writing C programs. It functions as an online text editor, allowing users to create and manage their programs in a web-based environment. The application is a single-page web app, providing a seamless user experience without page refreshes.
Explore dynamic code analysis in an interpreter for a language that allows on-the-fly customization of syntax rules, small-step operational semantics, and typing. This project facilitates real-time modifications to language interpretation, empowering users to adapt coding experiences according to specific needs.