Proprietario
Julian
29 repository indicizzati · Vedi su GitHub
-
lean.nvim
Neovim support for the Lean theorem prover
Lua · 601 stelle
-
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 stelle
-
Ivoire
A simple BDD testing framework for Python
Python · 64 stelle
-
tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
JavaScript · 59 stelle
-
dotfiles
A work in progress. Forever.
Perl · 54 stelle
-
Seep
A transformation and data extraction language on top of JSON Schema
Python · 27 stelle
-
venvs
venvs creates virtualenvs
Rust · 20 stelle
-
regret
You made a thing, but now you wish it'd go away... Deprecations, a love story.
Python · 15 stelle
-
til
Joining the TIL bandwagon
CSS · 8 stelle
-
cardboard
Cardboard is a Magic: The Gathering game engine written in Python.
Python · 7 stelle
-
Minion
A microframework based on evil intentions and whatever else you've got
Python · 6 stelle
-
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 stelle
-
Virtue
A modern, extensible, unittest-compliant test runner.
Python · 3 stelle
-
svmlight-loader
A Cython-less implementation of the svmlight / libsvm sparse data format
Python · 2 stelle
-
named-branch-action
hg-style named branches via a GitHub action
Dockerfile · 2 stelle
-
Filesystems
A filesystem abstraction layer
Python · 2 stelle
-
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 stella
-
Stylish
CSS User Styles
CSS · 1 stella
-
Pi
Installation and setup for my RPi
Dockerfile · 1 stella
-
libraw-cffi
CFFI bindings for LibRaw
Python · 1 stella
- 9 altri repository si trovano su Vedi su GitHub
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
Difficoltà 3/5 Mezza giornata Idoneità per principianti 35/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
-
Upstream workflowsAperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
Julian/tree-sitter-lean#27 · 10 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
Julian/tree-sitter-lean#18 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
Julian/tree-sitter-lean#16 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
Julian/tree-sitter-lean#8 · 4 commenti ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 38/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
Add support for PEP 702Apertaenhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 32/100
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
-
Error in action runAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 20/100
Julian/named-branch-action#5 · 1 commento ·
-
Add some automated testsAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
-
Add pytest instrumentationAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
-
g whatsnew should ignore HEAD (use the previous commit) if HEAD is tagged with the latest versionAperta
Difficoltà 2/5 Mezza giornata Idoneità per principianti 45/100
-
enhancement infoview
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Big initial macOS filesAperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
-
To Read
Difficoltà 3/5 1-2 giorni Idoneità per principianti 20/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 10/100
-
documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 25/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
-
Implementation notesAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
-
bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Automatic upgrade has failedAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.