Similar repositories to atomb/core-to-isabelle:

• atomb/core-to-isabelle github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• reasoning-machines/pal github similar
• Averethel/OCamlMin github similar
• danistefanovic/build-your-own-x github similar
• xcthulhu/Cayley_Theorem github similar
• robertmassaioli/hICalendar github similar
• axch/dlambda github similar
• axch/pattern-case github similar
• DanGrayson/checker github similar
• ggreif/omega github similar
• atomb/dtrace github similar
• rsnikhil/goParseBSV github similar
• acw/time-units github similar
• halfaya/BayHac github similar
• haskell-mafia/boris github similar
• zilberstein/system-fc-coq github similar
• nbenton/x86proved github similar
• tibbe/ekg-statsd github similar
• namin/dafny-sandbox github similar
• anttisalonen/hogre github similar
• 5HT/wylie github similar
• pgj/mirage-kfreebsd github similar
• gergoerdi/mos6502-kansas-lava github similar
• RobertHarper/hott-notes github similar
• davidlazar/haskell-semantics github similar
• argv0/dtrace-erlang-bashochat-12142011 github similar
• dagit/Cyclone-Language github similar
• jmchapman/TT-in-TT github similar
• nmvdw/Three-HITs github similar
• axch/rules github similar
• patrikja/AFPcourse github similar
• racket/honu github similar
• levjj/rde github similar
• christiaanb/clash github similar
• batterseapower/openshake github similar
• jonsterling/tt github similar
• elliottt/hsopenid github similar
• ermine-language/ermine-legacy github similar