Pinned Repositories
ACNLPatternTool
Animal Crossing: New Leaf Pattern Tool
awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
bit-ranger
博客
blogter
Carnap
A formal logic framework that runs in the browser
py-dispatcher
simple dispatcher priority queue written in python
Milko-R's Repositories
Milko-R/ACNLPatternTool
Animal Crossing: New Leaf Pattern Tool
Milko-R/awesome-philosophy-compsci
A list of resources that cross the disciplines of Computer Science and Philosophy
Milko-R/bit-ranger
博客
Milko-R/blogter
Milko-R/Carnap
A formal logic framework that runs in the browser
Milko-R/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Milko-R/coq-lecture-notes
Coq Lecture Notes
Milko-R/explains
more easily searchable list of explains playlist
Milko-R/GeoCoq
A formalization of geometry in Coq based on Tarski's axiom system
Milko-R/hacker
Hacker is a Jekyll theme for GitHub Pages
Milko-R/homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
Milko-R/how-to-win-at-software
Farewell Lecture for computer science students - this is my philosophy on how to be a good software professional
Milko-R/hugo-theme-terminal
A simple, retro theme for Hugo
Milko-R/Machine-Learning-Books-With-Python
Chapter by Chapter notes, exercises and code for a variety of machine learning books using Python
Milko-R/metacoq
Metaprogramming in Coq
Milko-R/Milko-R.github.io
Milko-R/noir
An automatic dark mode adaptation of the Poole theme for Jekyll.
Milko-R/practical-python
Practical Python Programming (course by @dabeaz)
Milko-R/practices-of-the-python-pro
Examples and exercises for Practices of the Python Pro from Manning Books 🐍📘
Milko-R/py27_countdown
PyPortal Python 2.7 Desktop Countdown Clock
Milko-R/Pygame
Games that i did using pygame library
Milko-R/pygame-zero-book
Milko-R/Python-programming-exercises
100+ Python challenging programming exercises
Milko-R/social-distancing-simulator
An artificial simulation of social distancing in the time of an epidemic.
Milko-R/tech-blog
Milko-R/think-python-book
My notes and exercises from reading the book 'Think Python - 2nd Edition' by Allen B. Downey
Milko-R/ThinkPython
Code examples and exercise solutions from Think Python by Allen Downey, published by O'Reilly Media.
Milko-R/ThinkPython2
LaTeX source and supporting code for Think Python, 2nd edition, by Allen Downey.
Milko-R/Titanic-Data
Milko-R/vaga.github.io
My personal website generated by Hugo