Lean Theorem Prover MCP

A generalist Python node editor

Sources for "Applied Category Theory for Engineering"

The C(canonical) Scan Matcher

Collect and display statistics of git repositories

A fast PostgreSQL Database Client Library for Python/asyncio.

Self-driving car simulator for the Duckietown universe

TEMPORARY repo for Duckiedrone code (monolitic repo to be split into multiple modules)

Build and run Docker containers leveraging NVIDIA GPUs

This is the description edited

A free book: "The Science of Functional Programming"

A software attempt to address the "double key press" issue on Apple's butterfly keyboard [not actively maintained]

Driver for RTL8723BU

Draft proposal for additional sub/superscript characters in Unicode

Introduction to Autonomous Robots

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

Tools for writing papers: my .bib files, my Makefiles, my tex macros.

Executing Python snippets from LaTeX

IPAM Tutorials on Theano/Torch

Repository for SURF 2012

IPAM Tutorials on Theano/Torch

Tools for managing YAML configuration of projects