Similar repositories to opencompl/lean-gap:
opencompl/lean-gap
github
similar
tootsuite/mastodon
github
similar
yatima-inc/LSpec
github
similar
zhangir-azerbayev/lean-chat
github
similar
pandas-profiling/pandas-profiling
github
similar
leanprover-community/vscode-lean4
github
similar
pixijs/pixi.js
github
similar
Eloston/ungoogled-chromium
github
similar
aquynh/capstone
github
similar
srush/GPU-Puzzles
github
similar
pintariching/rustle
github
similar
tydeu/lean4-alloy
github
similar
yatima-inc/OpenGL.lean
github
similar
lecopivo/HouLean
github
similar
marcusrossel/lean-snakebird
github
similar
joehendrix/lean-crypto
github
similar
joehendrix/lean-sat-checker
github
similar
tydeu/lean4-papyrus
github
similar
arthurpaulino/NumLean
github
similar
yatima-inc/Http.lean
github
similar
leanprover/LeanInk
github
similar
leanprover-community/mathlib3port
github
similar
leanprover/doc-gen4
github
similar
lab-ml/annotated_deep_learning_paper_implementations
github
similar
leanprover-community/flt-regular
github
similar
yandex/YaLM-100B
github
similar
salesforce/CodeRL
github
similar
zhangir-azerbayev/lean-chat-vscode
github
similar
adelon/nave
github
similar
yatima-inc/ZKSnark.lean
github
similar
yatima-inc/YatimaStdLib.lean
github
similar
motemen/gore
github
similar
timgrossmann/InstaPy
github
similar
tuvtran/project-based-learning
github
similar
k6io/k6
github
similar
danistefanovic/build-your-own-x
github
similar
alexcrichton/cc-rs
github
similar
aaronpenne/generative_art
github
similar
micahflee/onionshare
github
similar
hecrj/iced
github
similar