🧮 Path to a free self-taught education in Mathematics!

Julia Animations and Visualizations

Curated list of project-based tutorials

Search throughout the Wingspan card collection

C# bindings for raylib, a simple and easy-to-use library to learn videogames programming

The Orbit engine is a game engine built on top of .NET MAUI Graphics. The objective is to firstly enjoy the journey of building a game engine and secondly providing a framework that allows us to ut…

Mathport is a tool for porting Lean3 projects to Lean4

Emgu CV is a cross platform .Net wrapper to the OpenCV image processing library.

Examples to accompany the book "Haskell in Depth"

⭐ Vim for Visual Studio Code

.NET Interactive combines the power of .NET with many other languages to create notebooks, REPLs, and embedded coding experiences. Share code, explore data, write, and learn across your apps in way…

🧮 A collection of resources to learn mathematics for machine learning

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

The Complex Number Game. Make the complex numbers in Lean.

A gamification of the theorems in MATH40002 Analysis 1

The math library of Lean 4

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Lean 4 programming language and theorem prover

Lean 3 Theorem Prover (community fork)

Roadmap for a .NET Backend Developer working with Microservices