Similar repositories to UCSD-PL/kraken:

• UCSD-PL/kraken github similar
• ReactTraining/react-router github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• aquynh/capstone github similar
• twitter/ambrose github similar
• shaunlebron/parinfer github similar
• evilmartians/foundry github similar
• introducingerlang/introducingerlang.github.io github similar
• bentaylordata/datascience github similar
• pnf/girder github similar
• puffnfresh/stl-idris github similar
• jcranmer/libquantum github similar
• txus/libtreadmill github similar
• gionkunz/chartist-js github similar
• JasonRuckman/sidney github similar
• jwiegley/coq-lattice github similar
• RobertHarper/hott-notes github similar
• unrelentingtech/wraptunes github similar
• lifo/journey_demo github similar
• unrelentingtech/rapper github similar
• conjoiners/conjoiners-node.js github similar
• kossnocorp/lisn github similar
• honza/gauges-clj github similar
• edx/edx-platform github similar
• rcaetano/playcoin github similar
• eholk/rust-core github similar
• svenfuchs/travis-worker github similar
• super3/protoshares.net github similar
• artemeff/awp-purchase github similar
• schneems/heroku-buildpack-force-compile github similar
• fzerocentral/fzc-animated-ship github similar
• coopernurse/barrister-clj github similar
• micahflee/onionshare github similar
• maraoz/sneakey github similar
• blockstack/stacks github similar
• andreypopp/rework-macro github similar
• adarqui/RESP github similar