Similar repositories to annenkov/futhark-extract:

• annenkov/futhark-extract github similar
• crtschin/thesis github similar
• diku-dk/futhark-icfp18 github similar
• HIPERFIT/stochastic-process-language github similar
• diku-dk/futhark-server-sml github similar
• jdoughertyii/hott-exercises github similar
• Snektron/aoc21 github similar
• konn/smooth github similar
• AU-COBRA/PoS-NSB github similar
• runtimeverification/algorand-verification github similar
• pcapriotti/agda-categories github similar
• RobertHarper/hott-notes github similar
• pcapriotti/agda-base github similar
• HIPERFIT/contracts github similar
• diku-dk/futhark-book github similar
• ManticoreProject/manticore github similar
• elpinal/bright-ml github similar
• AU-COBRA/ConCert github similar
• PlasmaLang/plasma github similar
• SOSML/SOSML github similar
• EgbertRijke/HoTT-Intro github similar
• smlsharp/smlsharp github similar
• melsman/apltail github similar
• melsman/mlkit github similar
• andrejbauer/homotopy-type-theory-course github similar
• cpitclaudel/company-coq github similar
• tweag/monad-bayes github similar
• mortberg/cubicaltt github similar
• JetBrains/Arend github similar
• jwiegley/category-theory github similar
• UniMath/UniMath github similar
• MLton/mlton github similar
• plfa/plfa.github.io github similar
• HoTT/HoTT github similar
• diku-dk/futhark github similar
• kevinlawler/kona github similar
• google-research/dex-lang github similar
• orbitersim/orbiter github similar
• alan-turing-institute/MLJ.jl github similar
• flix/flix github similar