オーナー
Julian
索引済みのリポジトリ 29 件 · GitHub で見る
-
lean.nvim
Neovim support for the Lean theorem prover
Lua · スター 601 個
-
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 個
-
Ivoire
A simple BDD testing framework for Python
Python · スター 64 個
-
tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
JavaScript · スター 59 個
-
dotfiles
A work in progress. Forever.
Perl · スター 54 個
-
Seep
A transformation and data extraction language on top of JSON Schema
Python · スター 27 個
-
venvs
venvs creates virtualenvs
Rust · スター 20 個
-
regret
You made a thing, but now you wish it'd go away... Deprecations, a love story.
Python · スター 15 個
-
til
Joining the TIL bandwagon
CSS · スター 8 個
-
cardboard
Cardboard is a Magic: The Gathering game engine written in Python.
Python · スター 7 個
-
Minion
A microframework based on evil intentions and whatever else you've got
Python · スター 6 個
-
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 個
-
Virtue
A modern, extensible, unittest-compliant test runner.
Python · スター 3 個
-
svmlight-loader
A Cython-less implementation of the svmlight / libsvm sparse data format
Python · スター 2 個
-
named-branch-action
hg-style named branches via a GitHub action
Dockerfile · スター 2 個
-
Filesystems
A filesystem abstraction layer
Python · スター 2 個
-
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 個
-
Stylish
CSS User Styles
CSS · スター 1 個
-
Pi
Installation and setup for my RPi
Dockerfile · スター 1 個
-
libraw-cffi
CFFI bindings for LibRaw
Python · スター 1 個
- ほか 9 件のリポジトリは GitHub で見る にあります
誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示
-
難易度 3/5 半日 初心者へのやさしさ 35/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 66/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
-
Upstream workflowsオープン
難易度 3/5 1〜2日 初心者へのやさしさ 58/100
Julian/tree-sitter-lean#27 · コメント 10 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
Julian/tree-sitter-lean#18 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 68/100
Julian/tree-sitter-lean#16 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 58/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 68/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
-
bug
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
Julian/tree-sitter-lean#8 · コメント 4 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
bug
難易度 3/5 1〜2日 初心者へのやさしさ 38/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 42/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
enhancement
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
enhancement
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
enhancement
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
enhancement
難易度 4/5 3〜5日 初心者へのやさしさ 32/100
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
bug
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
-
bug
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
-
Error in action runオープン
難易度 4/5 3〜5日 初心者へのやさしさ 20/100
Julian/named-branch-action#5 · コメント 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 30/100
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 30/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 25/100
-
g whatsnew should ignore HEAD (use the previous commit) if HEAD is tagged with the latest versionオープン
難易度 2/5 半日 初心者へのやさしさ 45/100
-
enhancement infoview
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 25/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
-
To Read
難易度 3/5 1〜2日 初心者へのやさしさ 20/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 15/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 10/100
-
documentation
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 25/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 25/100
-
Implementation notesオープン
難易度 5/5 1週間以上 初心者へのやさしさ 20/100
-
bug
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
最新の 100 件のみ表示しています
このページには最近登録されたものだけが並びます。全件は詳細フィルターにあり、言語・難易度・所要時間で絞り込めます。