Selected Papers of Dana S. Scott

Install and run Emacs with the Windows Subsystem for Linux (WSL 2) in Windows 10 or 11.

papers of Per Martin Löf

Materials related to the Iowa Type Theory Commute podcast

Agda formalisation of the Introduction to Homotopy Type Theory

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Mathematical Components

A (formalised) general definition of type theories

An open access book on Python, OpenGL and Scientific Visualization, Nicolas P. Rougier, 2018

Book in preparation: introduction to theoretical computer science

visJS2jupyter is a tool to bring the interactivity of networks created with vis.js into jupyter notebook cells

Theoretical Machine Learning (APPM 4490) class, Spring 2022

The new Windows Terminal and the original Windows console host, all in the same place!

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

Repository for the book "Crafting Interpreters"

Learn Deep Reinforcement Learning in 60 days! Lectures & Code in Python. Reinforcement Learning + Deep Learning

Creative cellular automata browser game

Source code to all the tutorials on emulator101.com

Anatomy of Matplotlib -- tutorial developed for the SciPy conference

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Celeste Bugs & Issue Tracker + some Source Code

Companion code to my O'Reilly book "Flask Web Development", second edition.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

📚 Freely available programming books

Course Repo for CSCI 3022: Intro to Data Science with Probability and Statistics

Travel companion to keep you on the right track. Winner at HackCU 2017

An ultra-simplified explanation to design patterns

Numpy exercises.