Julian Berman (@Julian)
github

Julian

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

lean.nvim

neovim support for the Lean theorem prover
Lua
256
star
2

vim-textobj-variable-segment

A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes
Vim Script
147
star
3

awesome-bugs

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

Ivoire

A simple BDD testing framework for Python
Python
60
star
5

dotfiles

A work in progress. Forever.
Vim Script
43
star
6

tree-sitter-lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover
C
28
star
7

Seep

A transformation and data extraction language on top of JSON Schema
Python
25
star
8

avif

Python (CFFI) bindings for libavif
Python
16
star
9

venvs

venvs creates virtualenvs
Python
16
star
10

regret

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

vim-textobj-brace

A text object for the closest inner () {} *or* []
Vim Script
13
star
12

PyVi

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

lftim

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

til

Joining the TIL bandwagon
CSS
8
star
15

homebrew-tap

Homebrew Formulae I'm Tired of Maintainin'
Ruby
7
star
16

cardboard

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

Minion

A microframework based on evil intentions and whatever else you've got
Python
6
star
18

veb

Dynamically allocated van Emde Boas trees
Python
5
star
19

python-musicalsort

A *very* basic musical sort decorator / demo module
Python
4
star
20

lean-unicode.vim

Unicode translation (of e.g. \l to โ† as in other Lean environments), for (n)vim
Vim Snippet
3
star
21

findme

CLI for hypothesis.find
Python
3
star
22

hypothesis-protobuf

Hypothesis support for generating Protobuf Messages and instances thereof
Python
3
star
23

lean-across-the-board

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

txjsonrpc-tcp

A TCP implementation of JSON RPC for Twisted
Python
2
star
25

ml-crash-course

Materials for a Machine Learning Crash Course Given at Columbia University
Jupyter Notebook
2
star
26

Filesystems

A filesystem abstraction layer
Python
2
star
27

BuildingAnInterpreter

2
star
28

Virtue

A modern, extensible, unittest-compliant test runner.
Python
2
star
29

setup-lean

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

txdatadog

Datadog statsd APIs for Twisted
Python
2
star
31

Great

A ratings aggregator
Python
1
star
32

cast-cli

A simple CLI for pychromecast.
Python
1
star
33

L

In 2015, another `ls`
Python
1
star
34

libopenzwave-cffi

OpenZWave CFFI Bindings
Python
1
star
35

composition

What You Crave
Python
1
star
36

regress

Python bindings to the Rust regress crate (for Javascript regular expressions)
Python
1
star
37

sphinxcontrib-githubcomments

Clojure
1
star
38

Pi

Installation and setup for my RPi
Dockerfile
1
star
39

pb

Python
1
star
40

giraffe

A small python graph library.
C
1
star
41

eocs

Python
1
star
42

svmlight-loader

A Cython-less implementation of the svmlight / libsvm sparse data format
Python
1
star
43

libraw-cffi

CFFI bindings for LibRaw
Python
1
star
44

vim-textobj-assignment

A text object for variable assignments
Vim Script
1
star
45

Stylish

CSS User Styles
CSS
1
star
46

Condent

A quick hack I threw together to reindent and respace containers the way I like them (e.g. for equalprg in Vim)
Python
1
star
47

Movies

Movie lists
1
star
48

named-branch-action

hg-style named branches via a GitHub action
Dockerfile
1
star
49

people-I-mostly-admire

1
star
50

aiodocker-test

Python
1
star
51

generatingfunctionology.lean

Lean
1
star
52

runt.nvim

Find corresponding test files given your source file
Lua
1
star