Giters
Milko Rodríguez (Milko-R)

Milko-R

Geek Repo

37

followers

139

following

11

stars

Home Page:https://milko.pe/

Twitter:@Milko_Rodriguez

Github PK Tool:Github PK Tool

Milko Rodríguez's repositories

ACNLPatternTool

Animal Crossing: New Leaf Pattern Tool

Language:VueLicense:WTFPLStargazers:0Issues:1Issues:0

awesome-philosophy-compsci

A list of resources that cross the disciplines of Computer Science and Philosophy

License:MITStargazers:0Issues:1Issues:0

bit-ranger

博客

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

blogter

Language:HTMLStargazers:0Issues:2Issues:0

Carnap

A formal logic framework that runs in the browser

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:1Issues:0

coq-lecture-notes

Coq Lecture Notes

Language:CoqStargazers:0Issues:1Issues:0

explains

more easily searchable list of explains playlist

Stargazers:0Issues:0Issues:0

GeoCoq

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

Language:CoqLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

hacker

Hacker is a Jekyll theme for GitHub Pages

Language:CSSLicense:CC0-1.0Stargazers:0Issues:1Issues:0

homotopy-type-theory-course

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

Language:TeXStargazers:0Issues:1Issues:0

how-to-win-at-software

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

Stargazers:0Issues:1Issues:0

hugo-theme-terminal

A simple, retro theme for Hugo

Language:CSSLicense:MITStargazers:0Issues:1Issues:0

Machine-Learning-Books-With-Python

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

Language:Jupyter NotebookStargazers:0Issues:1Issues:0

metacoq

Metaprogramming in Coq

Language:CoqLicense:MITStargazers:0Issues:1Issues:0

Milko-R.github.io

Language:CSSLicense:NOASSERTIONStargazers:0Issues:2Issues:0

noir

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

Language:CSSLicense:NOASSERTIONStargazers:0Issues:1Issues:0

practical-python

Practical Python Programming (course by @dabeaz)

Language:PythonLicense:CC-BY-SA-4.0Stargazers:0Issues:1Issues:0

practices-of-the-python-pro

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

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

py27_countdown

PyPortal Python 2.7 Desktop Countdown Clock

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

Pygame

Games that i did using pygame library

Stargazers:0Issues:0Issues:0

pygame-zero-book

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Python-programming-exercises

100+ Python challenging programming exercises

Stargazers:0Issues:1Issues:0

social-distancing-simulator

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

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

tech-blog

Language:CSSLicense:NOASSERTIONStargazers:0Issues:0Issues:0

think-python-book

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

Language:PythonStargazers:0Issues:1Issues:0

ThinkPython

Code examples and exercise solutions from Think Python by Allen Downey, published by O'Reilly Media.

Language:PostScriptStargazers:0Issues:1Issues:0

ThinkPython2

LaTeX source and supporting code for Think Python, 2nd edition, by Allen Downey.

Language:TeXLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Titanic-Data

Language:PythonStargazers:0Issues:2Issues:0

vaga.github.io

My personal website generated by Hugo

Language:HTMLStargazers:0Issues:1Issues:0