Marek Kidon's repositories
NeuralNetworkSFC
a demonstration use of BP neural network FIT BUT, SFC
xmobar_NetworkManager_plugin
xmobar plugin for NetworkManager
100-days-of-algorithms
100 days of algorithms in Haskell
advent-of-code
Advent of code solutions
awesome-scalability
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
category-theory-for-programmers
Solutions to *Category Theory for Programmers* challenges
code-snippets
Various experiments and code snippets
connections
Safety enforcing abstract client/server library
environment
environment
errno-exceptions
Haskell wrappers around POSIX errno errors.
FAV-projekt
Article about ESBMC
FPBrno.github.io
Functional Programming Brno meetup
fs2-google-pubsub
Google Cloud Pub/Sub stream-based client built on top of cats-effect, fs2 and http4s.
KRY_Padding_Oracle
KRY Padding Oracle
Master-Thesis
Marek Kidon
random-derive
A Haskell package providing a utility function for instantiating the System.Random.Random class.
reveal.js
The HTML Presentation Framework
slick-effect
Making Slick more functional with cats-effect.
universal-turing-machine
FIT VUT FLP student demonstration project
WisRegister
Brno University of Technology, Faculty of Information Technology