Similar repositories to leepike/atom:
leepike/atom
github
similar
leepike/sbv
github
similar
seni/copilot-libraries
github
similar
niswegmann/copilot-core
github
similar
niswegmann/copilot-discussion
github
similar
leepike/copilot-cbmc
github
similar
jonathan-laurent/copilot-kind
github
similar
niswegmann/copilot-language
github
similar
niswegmann/copilot-c99
github
similar
leepike/copilot-language
github
similar
well-typed-lightbulbs/ocaml-baremetal-esp32
github
similar
GaloisInc/smaccmpilot-stm32f4
github
similar
GaloisInc/tower
github
similar
leepike/Copilot
github
similar
GaloisInc/smaccmpilot-build
github
similar
leepike/SmartCheck
github
similar
danr/hipspec
github
similar
acowley/roshask
github
similar
yallop/icfp2014-papers
github
similar
tomahawkins/atom
github
similar
ndmitchell/bake
github
similar
GaloisInc/ivory
github
similar
dedis/Dissent
github
similar
haskell-numerics/hmatrix
github
similar
methylDragon/ros-sensor-fusion-tutorial
github
similar
technomancy/atreus
github
similar
ianh/owl
github
similar
B-Lang-org/bsc
github
similar
ndmitchell/shake
github
similar
ucsd-progsys/liquidhaskell
github
similar
GaloisInc/cryptol
github
similar
GaloisInc/HaLVM
github
similar
morganstanley/hobbes
github
similar
haskell/haskell-mode
github
similar
stanislaw/awesome-safety-critical
github
similar
HoTT/book
github
similar
mirage/mirage
github
similar
clasp-developers/clasp
github
similar
tikv/raft-rs
github
similar
protontypes/awesome-robotic-tooling
github
similar