Marcin Wojnarowski's repositories
async-worker
Parallel code execution wrapped in promises ⭐
driveignore
Simple cli for google drive sync that allows you to have .driveignores
anyworker
Stop worrying about your Worker's environment
lisa
Proof assistant based on first-order logic and set theory
AoC-2023
Advent of code 2023 in Koka and Lean, depending on the compiler's mood
shilangyu.github.io
Page about me
ram-runner
A simple interpreter for the mathematical random-access machine
string-templating
template strings and output them to a file (use-case: sql queries, ML datasets)
genetic.ts
Simple yet powerful and flexible Genetic Algorithm library
computer-setup
Setup for a new computer
equatable_lint
Linting rules for Equatable package
FormatChanges-jetbrains
Small jetbrains challenge of handling formatting changes
unambiguous-grammar
Formal specification of a language of grammars and proofs about their ambiguity
WUT-CG
Computer graphics at the Warsaw University of Technology
sensors-coverage
Sensors coverage problem using topological data analysis
scoop-search
Fast `scoop search` drop-in replacement 🚀
brainfuck
Extremely primitive brainfuck interpreter
dart-decorator
Functional decorators in Dart
formal-lang
A formal definition of a language accompanied by proofs of its properties.
NLP-language-complexity
Analysis of natural language complexity used by open-source developers
SVM-from-scratch
Explanation and implementation of basic SVMs in Julia
register-transformations
Showcases the transformations needed to go from one wait-free register to a different one.
use-async-react
Deferred declarative promise hook
AaC-pi
Pi digit generation for the Algorithms and Computability class on Warsaw University of Technology
AIF-emotion-detection
Emotion detection project for the Artificial Inteligence Fundamentals course at WUT