Michał Horodecki's repositories
tcs-suffering
Notes from subjects taught on TCS, JU
battleship-rl
Playing Battleship using Reinforcement Learning
homie-lang-poc
epic homie lang prototype
language-prototyping
Collection of prototypes and experiments related to designing a simple programming language and it's compiler
haskell
Exercism exercises in Haskell.
hm-interactive
Interactive tutorial to Hindley-Milner type system
lexy-presentation
Short presentation of foonathan/lexy library for C++ course
meme-queue-frontend
React frontend for meme displayer
nkrsi-workshop-mlp
Exercise files for Multi Layer Perceptron worshop at NKRSI
rust-lang-course-labs6-tui
Simple TUI for Connect Four game made in Rust
satori-cli
Command Line Interface for Satori testing system at TCS JU
teams-meme
Template for generating memes inside Microsoft Teams message box
varlang-js
Interactive implementation of the algorithm from "Taming the Wildcards" paper.
viking-smart-home
Viking Smart Home project made for Hacknarock VIII hackathon.
wojtek-bot
Wojtek Bot for utils at discord server
www19-quals
Tests for WWW19 Interpreters course qualification tasks.