Similar repositories to jet-framework/jet:

• jet-framework/jet github similar
• precog/quasar github similar
• tootsuite/mastodon github similar
• beta-ziliani/coq github similar
• JacquesCarette/GenCheck github similar
• ulricha/dsh github similar
• DRMacIver/shrinkray github similar
• hyunsik/hdfs-rs github similar
• tchajed/iris-simp-lang github similar
• seba--/sugarj github similar
• scala-yinyang/scala-yinyang github similar
• uwescience/raco github similar
• abella-prover/abella github similar
• LPCIC/coq-elpi github similar
• koka-lang/libmprompt github similar
• lihaoyi/scala-js-games github similar
• fclaude/libcds github similar
• scala-lms/tutorials github similar
• yallop/icfp2014-papers github similar
• epfl-lara/leon github similar
• scalamacros/paradise github similar
• js-scala/js-scala github similar
• dpp/simply_lift github similar
• epfldata/squid github similar
• fogus/baysick github similar
• ott-lang/ott github similar
• ctongfei/nexus github similar
• amplab/succinct github similar
• Andromedans/andromeda github similar
• MonetDB/MonetDB-old github similar
• scala/scala3-example-project github similar
• sbt/sbt-git github similar
• rntz/datafun github similar
• scala/legacy-svn-scala github similar
• lihaoyi/autowire github similar
• amplab/keystone github similar
• densh/scala-offheap github similar
• lukasmartinelli/py14 github similar
• tpolecat/tut github similar
• emina/rosette github similar