Similar repositories to Vtec234/npm-widget:
Vtec234/npm-widget
github
similar
zhangir-azerbayev/math-lm
github
similar
leanprover-community/lean-web-editor
github
similar
zhangir-azerbayev/lean-chat-vscode
github
similar
ATOMSLab/LeanChemicalTheories
github
similar
jesse-michael-han/lean-step-public
github
similar
leanprover-community/mathport
github
similar
leanprover/lean-client-js
github
similar
leanprover-community/mathlib-tools
github
similar
bzhan/auto2
github
similar
zhangir-azerbayev/lean-chat
github
similar
b-mehta/topos
github
similar
leanprover-community/format_lean
github
similar
leanprover/vscode-lean4
github
similar
mpedramfar/Lean-game-maker
github
similar
leanprover/lake
github
similar
JLimperg/aesop
github
similar
arthurpaulino/lean4-metaprogramming-book
github
similar
openai/lean-gym
github
similar
leanprover/vscode-lean
github
similar
leanprover-community/lean-perfectoid-spaces
github
similar
leanprover-community/mathlib4
github
similar
ImperialCollegeLondon/formalising-mathematics-2022
github
similar
leanprover-community/tutorials
github
similar
leanprover-community/lean
github
similar
digama0/mm0
github
similar
mikaelalafriz/lucid-sonic-dreams
github
similar
leanprover/lean4
github
similar
leanprover-community/mathlib
github
similar
leanprover/lean
github
similar
mathquill/mathquill
github
similar
coq/coq
github
similar
karpathy/arxiv-sanity-preserver
github
similar
RedditSota/state-of-the-art-result-for-machine-learning-problems
github
similar
davisking/dlib
github
similar
Unity-Technologies/ml-agents
github
similar
magenta/magenta
github
similar
google-research/google-research
github
similar
openai/gym
github
similar
tensorflow/models
github
similar