Similar repositories to scala-std/std-data-quantified:

• TinkoffCreditSystems/gatling-kafka-plugin github similar
• scala-std/std-data-quantified github similar
• jin/hindley-milner github similar
• OlegYch/sbt-cached-ci github similar
• fizruk/lambda-mu-mu-calculus github similar
• MarcelineVQ/idris2-streaming github similar
• karroffel/Idris2-Ocaml github similar
• msullivan/typecoin github similar
• ziman/itt-idris github similar
• clayrat/sequent-calc github similar
• twanvl/ttie github similar
• VirtusLab/infrastructure-as-types github similar
• Blaisorblade/dot-iris github similar
• DmytroMitin/AUXify github similar
• ioanluca/real-world-idris github similar
• anton-trunov/coq-lecture-notes github similar
• xgrommx/coq-ecosystem github similar
• bamboo/idris2dart github similar
• arthurxavierx/purescript-comonad-rss github similar
• apimorphism/telegramium github similar
• manatki/volga github similar
• protz/mezzo github similar
• manatki/manatki github similar
• nihirash/ells github similar
• alexknvl/polymorphic github similar
• bor0/gidti github similar
• fomkin/pushka github similar
• tel/serv github similar
• SPY/idris-codegen-wasm github similar
• JetBrains/intellij-arend github similar
• lampepfl/monadic-reflection github similar
• higherkindness/skeuomorph github similar
• dotty-staging/dotty github similar
• tethys-json/tethys github similar
• non/antimirov github similar
• typelevel/munit-cats-effect github similar
• rchain/Rholang github similar
• type-theory/learn-tt github similar
• vil1/recursion-schemes-cookbook github similar
• LPTK/simple-sub github similar