mbuszka

Pinned Repositories

aleph
Language:Haskell3 3 00
curry-howard
Slides and materials for seminar presentation
Language:TeX1 3 00
purescript-record-fold
Language:PureScript5 4 43
sculpt
Transform abstract machine into custom processor
Language:Scala0 3 00
semantic-transformer
Tool transforming evaluators into abstract machines
Language:Racket2 3 01
thesis-bsc
Language:TeX0 3 00
thesis-msc
Language:TeX0 3 00
university_ai
Artificial Intelligence course solutions
Language:Haskell1 3 01
university_graph-databases
Language:Groovy1 3 00
university_mia
Language:C++1 3 00

mbuszka's Repositories

mbuszka/purescript-record-fold
Language:PureScript5 4 43
mbuszka/aleph
Language:Haskell3 3 00
mbuszka/semantic-transformer
Tool transforming evaluators into abstract machines
Language:Racket2 3 01
mbuszka/curry-howard
Slides and materials for seminar presentation
Language:TeX1 3 00
mbuszka/university_ai
Artificial Intelligence course solutions
Language:Haskell1 3 01
mbuszka/university_graph-databases
Language:Groovy1 3 00
mbuszka/university_mia
Language:C++1 3 00
mbuszka/university_programming-methods
Language:Prolog1 3 0
mbuszka/sculpt
Transform abstract machine into custom processor
Language:Scala0 3 00
mbuszka/thesis-bsc
Language:TeX0 3 00
mbuszka/thesis-msc
Language:TeX0 3 00
mbuszka/ml-project
Repo with ML project
Language:Jupyter Notebook2 0
mbuszka/ml_uwr
Materials for my Machine Learning course at University of Wroclaw
Language:Jupyter Notebook
mbuszka/projektzapisy
System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego
Language:Python
mbuszka/sys-seminar-benchmark
Files from my lecture about C++ microbenchmarking & profiling at Seminar: Computer Systems Architecture, using perf & Google Benchmark
Language:C++3 0
mbuszka/tapir
Declarative, type-safe web endpoints library
Language:Scala1 0
mbuszka/univeristy_computer-architecture
Language:C
mbuszka/university_algorithms
Language:C++
mbuszka/university_computer-networks-project-1
Language:C3 0
mbuszka/university_computer-networks-project-2
Language:C3 0
mbuszka/university_computer-networks-project-3
Language:C
mbuszka/university_databases
Language:Python3 0
mbuszka/university_embedded-systems
Language:C3 01
mbuszka/university_FAaPDS
Language:Standard ML
mbuszka/university_numerical-analysis
Language:Julia3 0
mbuszka/university_numerical-analysis-project-1
Numerical Analysis Project 1
Language:TeX
mbuszka/university_numerical-analysis-project-2
Language:Jupyter Notebook3 0
mbuszka/university_operating-systems
Language:C3 0
mbuszka/university_PoPL
Language:Scheme3 0
mbuszka/university_WEPPO
Language:JavaScript3 0