milko-r Goto Github PK

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

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.

coq-lecture-notes

Coq Lecture Notes

explains

more easily searchable list of explains playlist

geocoq

A formalization of geometry in Coq based on Tarski's axiom system

hacker

Hacker is a Jekyll theme for GitHub Pages

head-first-python-2ed

Code samples from Head First Python 2nd Edition (Paul Barry)

homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

how-to-win-at-software

Farewell Lecture for computer science students - this is my philosophy on how to be a good software professional

hugo-theme-terminal

A simple, retro theme for Hugo

jenny

A bash-based static blog generator

machine-learning-books-with-python

Chapter by Chapter notes, exercises and code for a variety of machine learning books using Python

martin-lof

papers of Per Martin Löf

metacoq

Metaprogramming in Coq

milko-r.github.io

noir

An automatic dark mode adaptation of the Poole theme for Jekyll.

practical-python

Practical Python Programming (course by @dabeaz)

practices-of-the-python-pro

Examples and exercises for Practices of the Python Pro from Manning Books 🐍📘

py-dispatcher

simple dispatcher priority queue written in python

py27_countdown

PyPortal Python 2.7 Desktop Countdown Clock

pygame

Games that i did using pygame library

pygame-zero-book

python-programming-exercises

100+ Python challenging programming exercises

social-distancing-simulator

An artificial simulation of social distancing in the time of an epidemic.

tech-blog

think-python-book

My notes and exercises from reading the book 'Think Python - 2nd Edition' by Allen B. Downey