Owner
Julian
29 indexed repositories · View on GitHub
-
lean.nvim
Neovim support for the Lean theorem prover
Lua · 581 stars
-
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 · 160 stars
-
Ivoire
A simple BDD testing framework for Python
Python · 64 stars
-
tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
JavaScript · 58 stars
-
dotfiles
A work in progress. Forever.
Perl · 54 stars
-
Seep
A transformation and data extraction language on top of JSON Schema
Python · 27 stars
-
venvs
venvs creates virtualenvs
Rust · 20 stars
-
regret
You made a thing, but now you wish it'd go away... Deprecations, a love story.
Python · 15 stars
-
til
Joining the TIL bandwagon
CSS · 8 stars
-
cardboard
Cardboard is a Magic: The Gathering game engine written in Python.
Python · 7 stars
-
Minion
A microframework based on evil intentions and whatever else you've got
Python · 6 stars
-
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 stars
-
Virtue
A modern, extensible, unittest-compliant test runner.
Python · 3 stars
-
svmlight-loader
A Cython-less implementation of the svmlight / libsvm sparse data format
Python · 2 stars
-
named-branch-action
hg-style named branches via a GitHub action
Dockerfile · 2 stars
-
Filesystems
A filesystem abstraction layer
Python · 2 stars
-
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
-
Stylish
CSS User Styles
CSS · 1 star
-
Pi
Installation and setup for my RPi
Dockerfile · 1 star
-
libraw-cffi
CFFI bindings for LibRaw
Python · 1 star
- 9 more repositories live on View on GitHub
-
Implementation notes Open
Julian/cardboard#1 · 0 comments · 0 reactions · 0 assignees ·
-
Nested containers Open
-
Genius Open
-
Session support Open
-
Route Combiners Open
-
Great Open
-
RSS Open
-
Budgeting Open
-
Sovereign Open
-
Huginn Open
-
OpenZWave Open
-
Nextcloud Open
-
GitLab Open
-
Sage Open
-
MiniDLNA Open
-
PiHole Open
-
AMP Open
-
2FA for SSH Open
-
Firefox Sync Open
-
Kiwix Open
-
Taskwarrior Open
-
Scrobbler Open
-
Jitsi Open
-
Anki Open
-
Bitwarden Open
-
Julian/pypy-builder#1 · 1 comment · 0 reactions · 0 assignees ·
-
Julian/svmlight-loader#1 · 0 comments · 0 reactions · 0 assignees ·
-
Add benchmarks Open
Julian/svmlight-loader#2 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/svmlight-loader#3 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/libraw-cffi#2 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/sphinxcontrib-lean#1 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/sphinxcontrib-lean#2 · 0 comments · 0 reactions · 0 assignees ·
-
Show arguments Open
Julian/sphinxcontrib-lean#3 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/sphinxcontrib-lean#4 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/sphinxcontrib-lean#5 · 0 comments · 0 reactions · 0 assignees ·
-
Julian/sphinxcontrib-lean#6 · 0 comments · 0 reactions · 0 assignees ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.