Similar repositories to cpehle/platon:
cpehle/platon
github
similar
NVIDIA/TRTorch
github
similar
MovingtoMars/nnvm
github
similar
cpehle/ncore
github
similar
joewillsher/Vist
github
similar
nikic/llvm-compile-time-data
github
similar
henrikurms/tail2futhark
github
similar
ncbray/wassembler
github
similar
iitalics/Opal
github
similar
GeorgeKT/menhir-lang
github
similar
GaloisInc/lean-llvm
github
similar
andrewchambers/qc
github
similar
saschagrunert/craft
github
similar
ericfinster/opetopic
github
similar
dirk/hivm
github
similar
qwertie/LoycCore
github
similar
NVIDIA/remorac
github
similar
aspiwack/peppermint-prover
github
similar
cmu-phil/Spectral
github
similar
nikomatsakis/bidir-type-infer
github
similar
hkuplg/fcore
github
similar
AndrasKovacs/implicit-fun-elaboration
github
similar
sigurdschneider/lvc
github
similar
KyleMayes/install-llvm-action
github
similar
dirk/hummingbird
github
similar
mflatt/not-a-box
github
similar
etaoins/llambda
github
similar
dobkeratops/compiler
github
similar
ocamllabs/fomega
github
similar
fengb/wazm
github
similar
ruscur/snowpatch
github
similar
mlemerre/l-lang
github
similar
monte-language/monte
github
similar
emscripten-core/emscripten-fastcomp-clang
github
similar
harpocrates/language-rust
github
similar
kit-ty-kate/labrys
github
similar
lexchou/swallow
github
similar
ltcmelo/uaiso
github
similar
fsprojects/llvm-fs
github
similar
vnd/rarm
github
similar