Similar repositories to gsps/l3-llvm-backend:

• gsps/l3-llvm-backend github similar
• epfl-lara/StainlessFit github similar
• epfl-lara/welder github similar
• redelmann/eclair github similar
• epfl-lara/bolts github similar
• gcmalloc/epfl-moodle github similar
• epfl-lara/lisa github similar
• louismerlin/repfl github similar
• epfl-lara/scallion github similar
• regb/cafesat github similar
• regb/scala-smtlib github similar
• redelmann/scat github similar
• TiarkRompf/minidot github similar
• epfl-lara/inox github similar
• lampepfl/monadic-reflection github similar
• claudetech/node-static-i18n github similar
• scala/scala-collection-contrib github similar
• epfl-lara/ScalaZ3 github similar
• epfl-lara/leon github similar
• effekt-lang/effekt github similar
• fthomas/singleton-ops github similar
• cb372/scala-typed-holes github similar
• stedolan/counterexamples github similar
• daenuprobst/covid19-cases-switzerland github similar
• epfl-lara/stainless github similar
• scalameta/munit github similar
• typedefs/typedefs github similar
• republique-et-canton-de-geneve/chvote-1-0 github similar
• precog/matryoshka github similar
• arxiv-vanity/engrafo github similar
• CatalaLang/catala github similar
• typelevel/squants github similar
• dwijnand/sbt-extras github similar
• scalameta/scalafmt github similar
• almond-sh/almond github similar
• fthomas/refined github similar
• flix/flix github similar
• sksamuel/elastic4s github similar
• BSVino/JaiPrimer github similar
• idris-lang/Idris2 github similar