Repositories list
31 repositories
artic
Publicruntime
PublicAnyDSL Runtime Libraryflower
PublicA Comprehensive Dataflow Compiler for High-Level Synthesisthorin
PublicThe Higher-Order Intermediate RepresentationMimIR
Publicrodent
PublicRenderer and BVH traversal libraryanydsl
PublicMeta project to quickly build dependencieshalf
Publicimpala
PublicAn imperative and functional programming languagevim-mim
Publicanyopt
Publicstincilla
Publicpopl25
Publicbenchmarks-impala
Publicanydsl.github.io
Publicanyq
Publicanyq-results
Publicimpala-adbench
Publicanyhls
PublicHigh-Level Synthesis with Partial Evaluationdocker
Publicmolecular-dynamics
Publicanyseq
Publicanymdl
Publicregex
PublicRegular Expression Matcher generator using Just-In-Time Compilationmpi-bindings
Publicbenchmark_simd
Publictraversal
Publicthorin2-experiment
PublicThe Higher-Order Intermediate Representationimpala2-experiment
PublicRewrite of Impala using dependent types and a PTS. Builds upon Thorin2.imbatracer
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.