Michał Horodecki's repositories

tcs-suffering

Notes from subjects taught on TCS, JU

duh

Small programming language created as a side project on Programming Basics course

Language:PythonStargazers:4Issues:1Issues:0

mudgame

Game made as project for Software Engineering subject at TCS, JU

Language:JavaStargazers:2Issues:1Issues:0

battleship-rl

Playing Battleship using Reinforcement Learning

Language:PureBasicStargazers:1Issues:2Issues:0

homie-lang-poc

epic homie lang prototype

Language:PythonStargazers:1Issues:0Issues:0

sokoban

Sokoban game made for a Motorola Science Cup contest

Language:JavaScriptStargazers:1Issues:1Issues:0

tanuki

Simple programming contest website made as a project for Data Engineering course

Language:PLpgSQLStargazers:1Issues:3Issues:0

language-prototyping

Collection of prototypes and experiments related to designing a simple programming language and it's compiler

Language:PythonStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0

haskell

Exercism exercises in Haskell.

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

hm-interactive

Interactive tutorial to Hindley-Milner type system

Language:JavaScriptStargazers:0Issues:1Issues:0

lambda

A small functional language

Language:PythonStargazers:0Issues:1Issues:0
Language:ElmStargazers:0Issues:0Issues:0

lexy-presentation

Short presentation of foonathan/lexy library for C++ course

Language:CMakeStargazers:0Issues:1Issues:0

meme-queue-frontend

React frontend for meme displayer

Language:JavaScriptStargazers:0Issues:1Issues:0
Stargazers:0Issues:1Issues:0

mpum

Metody Probabilistyczne w Uczeniu Maszynowym, TCS 2023

Language:PythonStargazers:0Issues:1Issues:0

nkrsi-workshop-mlp

Exercise files for Multi Layer Perceptron worshop at NKRSI

Language:PythonStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0

rust-lang-course-labs6-tui

Simple TUI for Connect Four game made in Rust

Language:RustStargazers:0Issues:1Issues:0

satori-cli

Command Line Interface for Satori testing system at TCS JU

Language:RustStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:1Issues:0

soturi

Proof of concept game taking place in the physical world

Language:JavaStargazers:0Issues:1Issues:0

teams-meme

Template for generating memes inside Microsoft Teams message box

Language:HTMLStargazers:0Issues:1Issues:0

varlang-js

Interactive implementation of the algorithm from "Taming the Wildcards" paper.

Language:JavaScriptStargazers:0Issues:1Issues:0

viking-smart-home

Viking Smart Home project made for Hacknarock VIII hackathon.

Language:PythonStargazers:0Issues:1Issues:0

WireNet

Communication by wire simulator. Part of Computer Networking project on TCS JU.

Language:PythonStargazers:0Issues:1Issues:0

wojtek-bot

Wojtek Bot for utils at discord server

Language:PythonStargazers:0Issues:1Issues:0

www19

Repo for summer workshops about writing a simple tree-walk intepreter

Language:PythonStargazers:0Issues:1Issues:0

www19-quals

Tests for WWW19 Interpreters course qualification tasks.

Language:PythonStargazers:0Issues:1Issues:0