-
Standard Chartered Bank
- Wrocław
- https://marek-bauer.github.io/
- in/marek-bauer
-
-
Social-score Public
App designed for reporting good and bad behavior of people
PHP Apache License 2.0 UpdatedSep 10, 2024 -
Physics-units Public
Haskell library for having compile time unit safety for physics computations
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 8, 2024 -
Option-pricer Public
Simple app to valuate price of financial instruments
F# Apache License 2.0 UpdatedMar 9, 2024 -
A web multiplayer game in the style of .io games, with background component computing factorization of large numbers
Java GNU General Public License v3.0 UpdatedMar 9, 2024 -
LZW-compressor Public
File compressor using LZW algorithm with universal codeing
Rust Apache License 2.0 UpdatedMar 9, 2024 -
File compressor using adaptive arithmetic apprach
Rust Apache License 2.0 UpdatedMar 9, 2024 -
Simple-web-music-player Public
Simple web music player with fourier transform
HTML Apache License 2.0 UpdatedMar 9, 2024 -
-
Go-game Public
Server for playing go game with other players or simple CPU player
Java Apache License 2.0 UpdatedMar 9, 2024 -
Graph-plotter Public
Python program drawing graphs of unary functions
Python Apache License 2.0 UpdatedMar 9, 2024 -
Invoice-generator Public
Simple or even trivial program to create invoices.
Java Apache License 2.0 UpdatedMar 9, 2024 -
Web-Logo-interpreter Public
Web purely functional logo interpreter
JavaScript GNU General Public License v3.0 UpdatedMar 9, 2024 -
Random number generator based on time of response of various network resources
TeX MIT License UpdatedMar 9, 2024 -
Snake Public
Classic snake game implemented on arduino with Nokia 3310 display
C++ GNU General Public License v3.0 UpdatedMar 9, 2024 -
Logo-interpreter Public
A complex logo language interpreter written in Rust
Rust Apache License 2.0 UpdatedMar 9, 2024 -
Quotientlike-types-in-Coq Public
This is a repo of my master's thesis written as part of my studies at the University of Wrocław
Coq UpdatedMar 9, 2024 -
Composer-AI Public
A simple generative machine learning algorithm for composing music in MIDI
Python UpdatedMar 9, 2024 -
Sudoku-Web Public
Frontend only application for playing and solving sudoku puzzles
PureScript GNU General Public License v3.0 UpdatedFeb 9, 2024 -
Mandelbrot-set-drawer Public
Simple Rust program for generating bitmaps of Mandelbrot's set
Rust MIT License UpdatedNov 9, 2022 -
How-not-to-get-divorced Public
Forked from GitHubOfWeronika/How-not-to-get-divorcedAndroid application generating (non-)random reminders. That will make you the most spontaneous and best remembered husband on Earth.
Kotlin MIT License UpdatedNov 9, 2022 -
Compiler-jftt-2020 Public
Compiler of simple imperative language to custom assembler.
Haskell UpdatedFeb 3, 2021 -
Sorting-algorithms Public
Examples of sorting algorithms implemented in Rust
Rust UpdatedOct 18, 2020