milko-r Goto Github PK
Name: Milko Rodríguez
Type: User
Twitter: Milko_Rodriguez
Blog: https://milko.pe/
Name: Milko Rodríguez
Type: User
Twitter: Milko_Rodriguez
Blog: https://milko.pe/
Animal Crossing: New Leaf Pattern Tool
A list of resources that cross the disciplines of Computer Science and Philosophy
博客
A formal logic framework that runs in the browser
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
more easily searchable list of explains playlist
A formalization of geometry in Coq based on Tarski's axiom system
Hacker is a Jekyll theme for GitHub Pages
Code samples from Head First Python 2nd Edition (Paul Barry)
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
Farewell Lecture for computer science students - this is my philosophy on how to be a good software professional
A simple, retro theme for Hugo
A bash-based static blog generator
Chapter by Chapter notes, exercises and code for a variety of machine learning books using Python
papers of Per Martin Löf
Metaprogramming in Coq
An automatic dark mode adaptation of the Poole theme for Jekyll.
Practical Python Programming (course by @dabeaz)
Examples and exercises for Practices of the Python Pro from Manning Books 🐍📘
simple dispatcher priority queue written in python
PyPortal Python 2.7 Desktop Countdown Clock
Games that i did using pygame library
100+ Python challenging programming exercises
An artificial simulation of social distancing in the time of an epidemic.
My notes and exercises from reading the book 'Think Python - 2nd Edition' by Allen B. Downey
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.