Julian Berman

Neovim support for the Lean theorem prover

A work in progress. Forever.

A collection of bizarre, funny or obscure bugs in our software and hardware

A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes

Joining the TIL bandwagon

A simple BDD testing framework for Python

Experimental tree-sitter parser for the Lean (4) Theorem Prover

A transformation and data extraction language on top of JSON Schema

venvs creates virtualenvs

Python (CFFI) bindings for libavif

You made a thing, but now you wish it'd go away... Deprecations, a love story.

A library for integrating Vim-like buffers, windows, and keybindings into your Python application.

A Lean (4) type checker written in RPython

Mathematical learnings with Lean, for those of us who wish we knew more of both!

A text object for the closest inner () {} *or* []

Homebrew Formulae I'm Tired of Maintainin'

Cardboard is a Magic: The Gathering game engine written in Python.

Dynamically allocated van Emde Boas trees

Trying to satisfy my photography hobby. Wanderlust included.

Bits and bobs for beancount benefit.

A modern, extensible, unittest-compliant test runner.

Unicode translation (of e.g. \l to ← as in other Lean environments), for (n)vim

An attempt to learn Lean via implementing a theorem (hopefully more) from Across the Board. Progress will be... slow.

A python wrapper for the Reddit API.

CLI for hypothesis.find

Hypothesis support for generating Protobuf Messages and instances thereof

A filesystem abstraction layer

Set up your GitHub Actions workflow with elan and/or a specific version of Lean

Movie lists

No description.

hg-style named branches via a GitHub action

A Cython-less implementation of the svmlight / libsvm sparse data format

Materials for a Machine Learning Crash Course Given at Columbia University

Datadog statsd APIs for Twisted

Diff some stuff, find out why it ain't the same.

Find corresponding test files given your source file

A ratings aggregator

Elevator Saga, in Lean 4

No description.

ge is a Good Enough editor (but not yet, now it's useless)

A text object for variable assignments

Obsidian 🤝 Neovim

The community edition of shapez, maintained by community contributors!

No description.

In 2015, another `ls`

A simple CLI for pychromecast.

CFFI bindings for LibRaw

What You Crave

CSS User Styles

Installation and setup for my RPi

An experimental Lean-aware version of Evan Chen's "An Infinitely Large Napkin"

Tools for working with Obsidian vaults

A Python port of https://github.com/Mottie/github-reserved-names

A Python CLI for managing a photography library

Create new Python packages... hooray!

Oh boy, let's see if this goes anywhere.

A crude static site listing podcasts and episodes I like

No description.

Music playlists

Media I like, rated using Great

Is my project GPL? Let's check! (But Am I a Lawyer? No!)

No description.

A solid language pack for Vim.

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.

Tool to analyse the import structure of lean projects.

A collection of the source and presentations for some of the talks I've given. Unfortunately not all are here, since I need to consolidate multiple places at some point.

inanis: empty; void; foolish; worthless. Just the testing bits of lua functions someone didn't want to write twice.

No description.

Open-source weight and body metrics tracker, with support for Bluetooth scales

This is the image that is used to build and run in pre-commit.ci.

An interactive game introducing the concept of a filter.

SorryDB indexes sorries in public lean repositories

The math library of Lean 4

A personal schema registry with JSON Schemas for data I collect or plan to collect

Lean 4 library for pretty printing expressions as LaTeX

Wait4X allows you to wait for a port or a service to enter the requested state.

Visual Studio Code extension for the Lean 4 proof assistant

Type Checking in Lean 4

Look away, I'm hideous

My personal website

A project to map out the relations between different equational theories of Magmas.

Random scrapyard for doing this month's amusing thing with a Powermate

A tool for finding security issues in GitHub Actions setups.

Helper toolkit for creating your own Lean 4 UserWidgets

No description.

Sphinx extension to generate unique OpenGraph metadata

Mathlib4 review and triage dashboard

No description.

Decorate scrollbar for Neovim

Source code for the Mathematics in Lean tutorial.

The "batteries included" extended library for the Lean programming language and theorem prover

Podman Desktop - A graphical tool for developing on containers and Kubernetes

🤖 Just a command runner

The Lean 4 web editor

No description.

No description.

Test niceties for vim

A formal proof of the independence of the continuum hypothesis

Quickstart configurations for the Nvim LSP client

A formalized proof of Carleson's theorem in Lean

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

Format click help output nicely with rich.

plasTeX plugin to build formalization blueprints.

Fast JSON schema validator for Python.

Connexion is a modern Python web framework that makes spec-first and api-first development easy.

Spec-first, framework-agnostic APIs for your web application

PyPy is a very fast and compliant implementation of the Python language.

Example repo for https://github.com/Julian/named-branch-action

No description.

☄️ Python's nested data operator (and CLI), for all your declarative restructuring needs. Got data? Glom it! ☄️

Nothing to see here.

Anki plugin to expose a remote API for creating flash cards.

www

🌄Upstream landscape generation application

Library API for managing books

Common repository for all code generators shipped with Postman

Easily turn your Click CLI into a powerful terminal application

Data for this-week-in-rust.org

This a space for defining industry standards.

Canonical source for classifiers on PyPI.

No description.

Asynchronous networking benchmarks for upcoming PyPy release

the code that powers reddit.com

Datadog agent

A testing-friendly implementation of (sub)process spawning

A homebrew tap for installing Bowtie

The Python Package Index

Python Classes Without Boilerplate

Persistent/Immutable/Functional data structures for Python

Audits Python environments and dependency trees for known vulnerabilities

No description.

Utilities for interacting with PyPI

No description.

Examples that demonstrate how to use Nile for infrastructure SaaS products

No description.

Flexible test automation for Python

Repo to test CI/CD audit integration and Github code scanning

No description.

Python Packaging User Guide

Introductory game on Linear Geometry by using Lean 3 theorem prover

Optimize images at build time with Next.js.

Web of Things (WoT) Thing Description

An extension for VS Code which provides support for the Lean language.

A Testing Framework for Lean

No description.

Python Enhancement Proposals

Interactive neural theorem proving in Lean

🍻 Default formulae for the missing package manager for macOS

The Python programming language

Flake8 extension for checking quotes in python

Nvim Treesitter configurations and abstraction layer

A collection links to other folks dotfiles.

No description.

An asynchronous linter plugin for Neovim (>= 0.5) complementary to the built-in Language Server Protocol support.

Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.

Ensure all of your repositories are watched.

An incremental parsing system for programming tools

Provides the missing :LspInstall for nvim-lspconfig

Hosts the website for mathlib and other Lean community infrastructure.

A Lean version manager

Lean 4 programming language and theorem prover

Porting random files from Lean 3 mathlib into Lean 4, just for fun.

No description.

No description.

No description.

Python bindings to the Tree-sitter parsing library

matroids in lean

Find, Filter, Preview, Pick. All lua, all the time.

🗃 The open source self-hosted web archive. Takes browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

A framework for managing and maintaining multi-language pre-commit hooks.

A better Python REPL

Some Lean tutorials

Lean Theorem Prover

An action to upgrade Lean and mathlib versions to their latest

A Sphinx domain for the Lean theorem prover

No description.

A simple, correct PEP517 package builder

Formats your tox.ini files

Generate HTML documentation for mathlib and Lean

Sphinx integrations for Neovim

Theorem proving in Lean

Some out-of-the-box hooks for pre-commit

A short interactive session given to Columbia University students to introduce modal editing with Vim

Building the natural numbers in Lean.

HTTPie is a CLI, cURL-like tool for humans.

A pre-commit hook to check your Python dependencies against safety-db

Build Web Services with Pyramid.

Command line driven CI frontend and development task automation tool

PyPy binary wheels for some popular packages

An experiment of building pypy via GH Actions

A random collection of OpenCV's functionality, wrapped via CFFI

A Trial reporter that reports with OS X notifications

__qualname__ emulation for older Python versions

A simple script that checks for terminal true color support.

Minimal PyPI server for uploading & downloading packages with pip/easy_install

Some cobbled together scripts for loading my IRC logs into SQLite

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

filter-branch replacement

Let's see how many days I make it before tragically petering off...