Similar repositories to Franciman/ellipse:

• Franciman/ellipse github similar
• danistefanovic/build-your-own-x github similar
• precog/quasar github similar
• dwijnand/sbt-dynver github similar
• scaup/fae-gtlc-mu github similar
• epfl-lara/SystemFR github similar
• TiarkRompf/graal-playground github similar
• Franciman/plasm github similar
• LukaJCB/typelevel-workshop github similar
• shayan-najd/QFeldspar github similar
• TomasMikula/Principled github similar
• rtyley/scala-git github similar
• ThoughtWorksInc/Extractor.scala github similar
• adriaanm/scala-virtualized-tutorial github similar
• olafurpg/sbt-big github similar
• math-comp/algebra-tactics github similar
• mit-plv/bbv github similar
• aaronlevin/scala-gitrev github similar
• ejgallego/pycoq github similar
• travisbrown/abstracted github similar
• bedrocksystems/BRiCk github similar
• sjrd/scala-unboxed-option github similar
• samuelgruetter/dot-calculus github similar
• TiarkRompf/scala-escape github similar
• UlfNorell/agda-summer-school github similar
• gallais/generic-syntax github similar
• scala-yinyang/scala-yinyang github similar
• alexarchambault/data-class github similar
• ReifyIt/basis github similar
• abella-prover/abella github similar
• ThoughtWorksInc/sbt-api-mappings github similar
• non/imp github similar
• TiarkRompf/scala-virtualized github similar
• roboscala/sbt-robovm github similar
• cquiroz/scala-java-time github similar
• LPTK/simple-sub github similar
• vagmcs/Optimus github similar
• gkossakowski/kentuckymule github similar
• type-theory/type-theory-study-group github similar
• Beluga-lang/Beluga github similar