Julian Berman

lean.nvim. Neovim support for the Lean theorem prover

vim-textobj-variable-segment. A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes

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

Ivoire. A simple BDD testing framework for Python

dotfiles. A work in progress. Forever.

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

Seep. A transformation and data extraction language on top of JSON Schema

avif. Python (CFFI) bindings for libavif

venvs. venvs creates virtualenvs

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

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

rpylean. A Lean (4) type checker written in RPython

vim-textobj-brace. A text object for the closest inner () {} *or* []

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

python-vimeo. Access the Vimeo Advanced API (v2) in Python

til. Joining the TIL bandwagon

homebrew-tap. Homebrew Formulae I'm Tired of Maintainin'

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

Minion. A microframework based on evil intentions and whatever else you've got

veb. Dynamically allocated van Emde Boas trees

python-musicalsort. A *very* basic musical sort decorator / demo module

photography. Trying to satisfy my photography hobby. Wanderlust included.

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

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

Virtue. A modern, extensible, unittest-compliant test runner.

hypothesis-protobuf. Hypothesis support for generating Protobuf Messages and instances thereof

reddit_api. A python wrapper for the Reddit API.

findme. CLI for hypothesis.find

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

generatingfunctionology.lean. Lean

Filesystems. A filesystem abstraction layer

txjsonrpc-tcp. A TCP implementation of JSON RPC for Twisted

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

named-branch-action. hg-style named branches via a GitHub action

Movies. Movie lists

ml-crash-course. Materials for a Machine Learning Crash Course Given at Columbia University

BuildingAnInterpreter.

txdatadog. Datadog statsd APIs for Twisted

aiodocker-test. Python

eocs. Python

people-I-mostly-admire.

cast-cli. A simple CLI for pychromecast.

composition. What You Crave

shapez-community-edition. The community edition of shapez, maintained by community contributors!

runt.nvim. Find corresponding test files given your source file

obsidian.nvim. Obsidian 🤝 Neovim

libraw-cffi. CFFI bindings for LibRaw