Similar repositories to larsrh/libisabelle:

• larsrh/libisabelle github similar
• precog/quasar github similar
• dwijnand/sbt-dynver github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• xdotai/play-json-extensions github similar
• pfn/sbt-unused github similar
• nrinaudo/kantan.codecs github similar
• ThoughtWorksInc/Q.scala github similar
• pixijs/pixi.js github similar
• tel/scala-tk github similar
• ReactTraining/react-router github similar
• larsrh/afp github similar
• scalameta/sbt-semantic-example github similar
• kiritsuku/amora github similar
• milessabin/macro-compat github similar
• ThoughtWorksInc/feature.scala github similar
• ClaireNeveu/macrame github similar
• adelbertc/tfm github similar
• piotrMocz/scalajs-java github similar
• Synesso/typed-chess github similar
• underscoreio/annihilator github similar
• outr/pdf4s github similar
• codacy/codacy-scalameta github similar
• densh/typelog github similar
• julien-truffaut/presentation.g8 github similar
• carlpulley/validated-config github similar
• alexandru/sincron github similar
• flatmap/cobra github similar
• aghosn/Obey github similar
• ThoughtWorksInc/Extractor.scala github similar
• tanin47/scala-interpreter github similar
• scalameta/scalagen github similar
• sangria-graphql/macro-visit github similar
• Jacoby6000/sqlz github similar
• scala/scala-asm-legacy github similar
• nrinaudo/kantan.regex github similar
• simpleenergy/se-stream-xml github similar
• m-doc/html2pdf github similar
• xuwei-k/dependency-graph github similar