Recipes and build machinery for the biggest Emacs package repo

Live coding in Python with PyCharm, Emacs, Sublime Text, or even a browser

Models and examples built with TensorFlow

Emacs incremental completion and selection narrowing framework

The standalone Linux Lisp

Deep Learning for humans

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

FastAPI framework, high performance, easy to learn, fast to code, ready for production

The Serenity Operating System 🐞

It's Magit! A Git Porcelain inside Emacs.

Visualize Python code execution (line-by-line) in Jupyter Notebook cells.

Apache Hamilton helps data scientists and engineers define testable, modular, self-documenting dataflows, that encode lineage/tracing and metadata. Runs and scales everywhere python does.

The Arcade Learning Environment (ALE) -- a platform for AI research.

A system for assigning and grading notebooks

Sylvester the Cat's Common Lisp IDE

Display extra information and color for your eshell prompt.

The Superior Lisp Interaction Mode for Emacs

Easily portable doom

Implementation of the Jupyter kernel protocol in C++

Python3 script to continuously download all images/videos of multiple 4chan threads simultaneously - without installation

fugitive.vim: A Git wrapper so awesome, it should be illegal

Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.

A runtime developer console and IRB alternative with powerful introspection capabilities.

A vim plugin to give you some slime. (Emacs)

Jupyter notebook integration for Microsoft Excel

Python AST read/write

Variable Inspector extension for Jupyterlab

Custom web server for my blog

A minimalistic ClojureScript interface to React.js