Similar repositories to uelis/intc:

• uelis/intc github similar
• statycc/icc-fission github similar
• uelis/IntML github similar
• epfl-lara/comfusy github similar
• Diderot-Language/examples github similar
• imdea-software/fcsl-pcm github similar
• melsman/aplcompile github similar
• rewriting/tom github similar
• 10XGenomics/rust-shardio github similar
• maxsnew/modal-scheme github similar
• edwinb/States github similar
• dzufferey/psync github similar
• oracle/souffle github similar
• namin/pink github similar
• AndyShiue/pts github similar
• TiarkRompf/collapsing-towers github similar
• remyzorg/pendulum github similar
• strymonas/staged-streams.ocaml github similar
• protz/mezzo github similar
• scmu/aopa github similar
• emina/kodkod github similar
• tcr/corollary github similar
• facet-lang/facet github similar
• sabine/ocaml-to-wasm-overview github similar
• xuexue/neuralkanren github similar
• andreasabel/miniagda github similar
• DistributedComponents/disel github similar
• mgree/smoosh github similar
• AndrasKovacs/staged github similar
• fclaude/libcds2 github similar
• vmware/hillview github similar
• lindig/lua-ml github similar
• TyGuS/suslik github similar
• jozefg/blott github similar
• kitfre/Kinder github similar
• pkamenarsky/typedraw github similar
• HarvardPL/formulog github similar
• erickt/stateful github similar
• np/ling github similar
• ocaml-multicore/reagents github similar