Owner
Julian
29 indexierte Repositories · Auf GitHub ansehen
-
lean.nvim
Neovim support for the Lean theorem prover
Lua · 607 Sterne
-
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 Sterne
-
Ivoire
A simple BDD testing framework for Python
Python · 64 Sterne
-
tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
JavaScript · 60 Sterne
-
dotfiles
A work in progress. Forever.
Perl · 54 Sterne
-
Seep
A transformation and data extraction language on top of JSON Schema
Python · 27 Sterne
-
venvs
venvs creates virtualenvs
Rust · 21 Sterne
-
regret
You made a thing, but now you wish it'd go away... Deprecations, a love story.
Python · 15 Sterne
-
til
Joining the TIL bandwagon
CSS · 8 Sterne
-
cardboard
Cardboard is a Magic: The Gathering game engine written in Python.
Python · 7 Sterne
-
Minion
A microframework based on evil intentions and whatever else you've got
Python · 6 Sterne
-
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 Sterne
-
Virtue
A modern, extensible, unittest-compliant test runner.
Python · 3 Sterne
-
svmlight-loader
A Cython-less implementation of the svmlight / libsvm sparse data format
Python · 2 Sterne
-
named-branch-action
hg-style named branches via a GitHub action
Dockerfile · 2 Sterne
-
Filesystems
A filesystem abstraction layer
Python · 2 Sterne
-
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 Stern
-
Stylish
CSS User Styles
CSS · 1 Stern
-
Pi
Installation and setup for my RPi
Dockerfile · 1 Stern
-
libraw-cffi
CFFI bindings for LibRaw
Python · 1 Stern
- 9 weitere Repositories liegen auf Auf GitHub ansehen
Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 56/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 70/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 88/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
-
Upstream workflowsOffen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 58/100
Julian/tree-sitter-lean#27 · 10 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
Julian/tree-sitter-lean#18 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100
Julian/tree-sitter-lean#16 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 58/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100
-
bug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
Julian/tree-sitter-lean#8 · 4 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
bug
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 38/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
enhancement
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
enhancement
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
Add support for PEP 702Offenenhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 32/100
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
bug
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100
-
bug
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
-
Error in action runOffen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 20/100
Julian/named-branch-action#5 · 1 Kommentar ·
-
Add some automated testsOffen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 25/100
-
g whatsnew should ignore HEAD (use the previous commit) if HEAD is tagged with the latest versionOffen
Schwierigkeit 2/5 Ein halber Tag Anfängerfreundlichkeit 45/100
-
enhancement infoview
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
-
Big initial macOS filesOffen
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 25/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
-
To Read
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 20/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 10/100
-
documentation
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 25/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 25/100
-
Implementation notesOffen
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
-
bug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
Die neuesten 100 werden angezeigt
Diese Seite listet nur das zuletzt Erfasste. Der vollständige Bestand steht im erweiterten Filter, eingegrenzt nach Sprache, Schwierigkeit und Aufwand.