Similar repositories to TiarkRompf/delite-playground:
TiarkRompf/delite-playground
github
similar
yallop/metaocaml-syb
github
similar
GeorgOfenbeck/SpiralS
github
similar
tvdstorm/oalgcomp
github
similar
TiarkRompf/Relite
github
similar
namin/lms-verify
github
similar
jameshegarty/darkroom
github
similar
CloudScala/scala-graalvm-docker
github
similar
TiarkRompf/minidot
github
similar
plast-lab/doop-mirror
github
similar
dlicata335/hott-agda
github
similar
dimitriv/Ziria
github
similar
HewlettPackard/kraal
github
similar
ocaml/ocaml-ci-scripts
github
similar
effect-handlers/effects-rosetta-stone
github
similar
pigworker/MetaprogAgda
github
similar
ilya-klyuchnikov/ttlite
github
similar
scala-blitz/scala-blitz
github
similar
epfldata/dblab
github
similar
stedolan/ppx_stage
github
similar
cloudflare/loom
github
similar
scalamacros/paradise
github
similar
scala/scala-parallel-collections
github
similar
ocamllabs/higher
github
similar
sirthias/borer
github
similar
mietek/total-fp
github
similar
snowleopard/selective
github
similar
xitrum-framework/scalive
github
similar
siddhartha-gadgil/ProvingGround
github
similar
stedolan/counterexamples
github
similar
Adapton/adapton.rust
github
similar
non/debox
github
similar
dspinellis/dgsh
github
similar
fthomas/crjdt
github
similar
TiarkRompf/virtualization-lms-core
github
similar
usethesource/rascal
github
similar
scala/scala3-example-project
github
similar
openjdk/valhalla
github
similar
HoTT/HoTT-Agda
github
similar
mmhelloworld/idris-jvm
github
similar