Similar repositories to ioannad/NBG_HOL:
ioannad/NBG_HOL
github
similar
danistefanovic/build-your-own-x
github
similar
leo-colisson/zx-calculus
github
similar
prathamesh-t/Tangle-Isabelle
github
similar
andriusvelykis/isabelle-eclipse
github
similar
kbuzzard/lean-stacks-project
github
similar
bzhan/auto2
github
similar
jonsterling/math
github
similar
favonia/hdtt2020-notes
github
similar
zaklogician/typical-antiphrasis
github
similar
iblech/internal-methods
github
similar
rjmarsan/PlasmaSound
github
similar
semorrison/lean-category-theory
github
similar
bamboo/IdrisUnityPlayground
github
similar
KiCad/kicad-winbuilder
github
similar
UniMath/Schools
github
similar
codyroux/name-the-biggest-number
github
similar
GrammaticalFramework/gf-contrib
github
similar
AJFaraday/Text-to-music
github
similar
leanprover-community/lean-perfectoid-spaces
github
similar
mikeshulman/catlog
github
similar
tkzic/internet-sensors
github
similar
wenkokke/schmitty
github
similar
CNMAT/CNMAT-MMJ-Depot
github
similar
conal/denotational-hardware
github
similar
david-christiansen/idris-type-providers
github
similar
diekmann/Iptables_Semantics
github
similar
flypitch/flypitch
github
similar
open-ideas/IDEAS
github
similar
seL4/isabelle
github
similar
UniMath/agda-unimath
github
similar
eth-sri/psi
github
similar
natcl/maxtoolbox
github
similar
FedFod/Max-MSP-Jitter
github
similar
lukexi/rumpus
github
similar
ZeroPhone/ZeroPhone-PCBs
github
similar
kbuzzard/xena
github
similar
NICTA/cogent
github
similar
idris-hackers/idris-koans
github
similar
kframework/kore
github
similar