Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

scratches/ lean4_cli_example

Lean 0 0

Updated 2024-06-03 13:15:54 +09:00

PKGBUILDs/ softethervpn

Shell 0 0

https://aur.archlinux.org/packages/softethervpn

Updated 2024-06-02 17:45:17 +09:00

PKGBUILDs/ luax-git

Shell 0 0

Updated 2024-05-30 20:07:57 +09:00

PKGBUILDs/ powershell-editor-services

Shell 0 0

Updated 2024-05-22 17:53:26 +09:00

scratches/ tp_lean

Lean 0 0

Theorem proving in lean

Updated 2024-05-20 11:50:48 +09:00

PKGBUILDs/ ttf-computer-modern-mathtexengine-jl

Shell 0 0

Updated 2024-05-09 20:19:33 +09:00

qwjyh/ CoordVisualize

Julia 0 0

Updated 2024-04-20 13:32:52 +09:00

PKGBUILDs/ makefontpkg-git

Shell 0 0

Updated 2024-04-19 21:35:12 +09:00

PKGBUILDs/ ttf-uzura-font

Shell 0 0

Updated 2024-04-19 21:34:27 +09:00

PKGBUILDs/ sumatrapdf

Shell 0 0

Updated 2024-04-19 21:32:09 +09:00