Julian Berman

icon indicating a website link https://til.grayvines.com/ icon indicating an email [email protected]

icon location New York, NY icon location Lover of things. Climber of molehills. Seeking friends for the end of the world.

Results 7 repositories owned by Julian Berman

avif

15
Stars
2
Forks
Watchers

Python (CFFI) bindings for libavif

verified publisher icon Julian

awesome-bugs

101
Stars
6
Forks
Watchers

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

verified publisher icon Julian

cardboard

7
Stars
4
Forks
Watchers

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

verified publisher icon Julian

dotfiles

43
Stars
5
Forks
Watchers

A work in progress. Forever.

verified publisher icon Julian

lean.nvim

210
Stars
23
Forks
Watchers

neovim support for the Lean theorem prover

verified publisher icon Julian

Ivoire

61
Stars
4
Forks
Watchers

A simple BDD testing framework for Python

verified publisher icon Julian

tree-sitter-lean

27
Stars
4
Forks
Watchers

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

verified publisher icon Julian