papers of Per Martin Löf

Haskell to C compiler via Categorifier

Exercises and code from "Haskell Programming from First Principles"

It's a blog. Insert clever Haskell type signature here.

System F-omega normalization by hereditary substitution in Agda

Python Data Science Handbook: full text in Jupyter Notebooks

Agda is a dependently typed programming language / interactive theorem prover.

Development of homotopy type theory in Agda

Lecture notes on univalent foundations of mathematics with Agda

HoTTEST Summer School materials

Repositorio del curso de Análisis de Datos con Pyton

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

Python Data Science Handbook: full text in Jupyter Notebooks

Curso de Geometría Analítica 1 y 2, Semestres 2020-1, 2020-2, 2022-1

UNMAINTAINED -- TI2206 course project

Cross-platform engineering nonlinear equations systems solver [Under construction 🚧]

Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

The library you create when you are done with Learn C The Hard Way