Marcin Wojnarowski

Elite

@shilangyu

I like mixing math with computer science

scoop-search. Fast `scoop search` drop-in replacement 🚀

cra-preact. Comfort of CRA + preact without ejecting 🔥

typer-go. Test your typing speed in the terminal! ⌨

driveignore. Simple cli for google drive sync that allows you to have .driveignores

async-worker. Parallel code execution wrapped in promises ⭐

uni-notes. Notes from the Computer Science courses (bachelors/masters)

gocui-widgets. Set of gocui widgets to help you build TUI apps

ram-runner. A simple interpreter for the mathematical random-access machine

dart-variance-hack. Small overview of subtyping and variance in Dart motivated by a real example.

balanced-parentheses-dart-3. Solving balanced parentheses problem using Dart 3 type system

zadania-maturalne. Rozwiązane zadania maturalne z informatyki rozszerzonej części drugiej

hunghorse.

TicTacToe. A simple tictactoe game with a trained AI

AIF-emotion-detection. Emotion detection project for the Artificial Inteligence Fundamentals course at WUT

visible-height-css. Css' `vh`, but working

alpha_calculus. Formalization and proofs for a language extending lambda calculus

website. Me

genetic.ts. Simple yet powerful and flexible Genetic Algorithm library

AoC-2020. Advent Of Code 2020 in whatever language I'm able to write a simple program in

windows-tiling-window-manager. :white_square_button: A very simple tiling window manager for Windows 7 - 10.

SVM-from-scratch. Explanation and implementation of basic SVMs in Julia

cs550-labs. Solutions to labs from the formal verification course at EPFL

NLP-language-complexity. Analysis of natural language complexity used by open-source developers

trials-m8s. Displays submissions for trials-m8s

SE2-CBT. Software Engineering 2 at WUT - implementation phase

formal-lang. A formal definition of a language accompanied by proofs of its properties.

AoC-2024. Advent of code 2024 in Lean, proving theorems related to the task

views searches