Similar repositories to DmytroMitin/AUXify:

• DmytroMitin/AUXify github similar
• precog/quasar github similar
• jeremyrsmith/shapeless-applied github similar
• ThoughtWorksInc/implicit-dependent-type github similar
• sbt/sbt-multi-release-jar github similar
• scalacenter/mix-macros-scala-2-and-3 github similar
• kitlangton/quotidian github similar
• twitter/the-algorithm github similar
• TinkoffCreditSystems/gatling-kafka-plugin github similar
• dwijnand/sbt-dynver github similar
• danistefanovic/build-your-own-x github similar
• Odomontois/FDyrka github similar
• stop-cran/idris-groups github similar
• day4ik/variance_hw github similar
• n-heptane-lab/blinkomatic github similar
• dos65/make github similar
• ivan71kmayshan27/ShapelesDerivationExample github similar
• Odomontois/zio-tagless-err github similar
• scala-std/std-data-quantified github similar
• denisrosset/cyclo github similar
• Kvitral/scala-money-store github similar
• Michaelt293/higher-kinded-data github similar
• travisbrown/sized github similar
• travisbrown/sbt-javacc github similar
• lampepfl/dotty-knowledge github similar
• alexknvl/leibniz github similar
• tpolecat/pool-party github similar
• gogabr/lambekMikulas github similar
• coq-community/alea github similar
• dominique-unruh/scala-isabelle github similar
• katlasik/functionmeta github similar
• zainab-ali/scala3-typed-holes github similar
• trillioneyes/idris-toys github similar
• gaeljw/typetrees github similar
• yfcai/CREG github similar
• gallais/great-library-of-idris github similar
• djspiewak/shapely github similar
• LucDupAtGitHub/PDBP github similar
• ajrouvoet/jvm.agda github similar
• davenverse/mapref github similar