SnO2WMaN's Stars
usememos/memos
An open source, lightweight note-taking service. Easily capture and share your great thoughts.
gcanti/fp-ts
Functional programming in TypeScript
resendlabs/react-email
💌 Build and send emails using React
0xType/0xProto
A programming font focused on source code legibility
ErikMcClure/bad-licenses
A compendium of absurd open-source licenses.
strib/scigen
An automatic paper generator
nix-community/nixd
Nix language server, based on nix libraries [maintainer=@inclyc,@Aleksanaa]
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
SamuraiT/mecab-python3
:snake: mecab-python. you can find original version here:http://taku910.github.io/mecab/
typst/packages
Packages for Typst.
GregTechCEu/GregTech-Modern
GregTech CE Unofficial for modern versions
AgriCraft/AgriCraft
The source code for the Minecraft mod: AgriCraft
leanprover-community/lean4-metaprogramming-book
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
baetheus/fun
Functional programming for deno and javascript. Monads, semigroups, optics, parsers, state management, yadda yadda yadda.
ufmg-smite/lean-smt
Tactics for discharging Lean goals into SMT solvers.
zhangir-azerbayev/ProofNet
Benchmark for undergraduate-level formal mathematics
JLimperg/aesop
White-box automation for Lean 4
siddhartha-gadgil/LeanAide
Tools based on AI for helping with Lean 4
facebookresearch/miniF2F
An updated version of miniF2F with lots of fixes and informal statements / solutions.
rami3l/plfl
Learn Lean 4 with PLFA proofs.
hamukazu/math_figures
数学で使えそうな図案集です。高校から大学2年くらいまでの内容で、数学教育に役立ちそうな図を適宜追加していこうと思います。
hhu-adam/NNG4
Natural Number Game
bbentzen/mpl
A Henkin-style completeness proof for the modal logic S5
darobin/chaitin-lisp
Toying with a port of Chaitin's LISP
0918nobita/chinese-trainer
**語の学習を支援するアプリ
naari3/nico-downloader-ffmpeg
uemurax/docker-texlive-ja
underecho/auto-mod-dl
MODの自動導入
wasabi315/LkProver
An automated LK deduction