Similar repositories to mariari/kaleidoscope-LLVM8:

• mariari/kaleidoscope-LLVM8 github similar
• heliaxdev/witch github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• anoma/juvix-stdlib github similar
• mariari/Misc-ML-Scripts github similar
• anoma/juvix-circuits github similar
• heliaxdev/minijuvix github similar
• anoma/specs github similar
• anoma/namada github similar
• anoma/research github similar
• kwf/StrictCheck github similar
• cryptiumlabs/library github similar
• anoma/vamp-ir github similar
• anoma/masp github similar
• cryptiumlabs/backerei github similar
• anoma/ferveo github similar
• llvm-hs/llvm-hs-examples github similar
• edwinb/EpiVM github similar
• matter-labs/hodor github similar
• SPY/idris-codegen-wasm github similar
• Gabriel439/Haskell-Annah-Library github similar
• GuildOfWeavers/genSTARK github similar
• SPY/haskell-wasm github similar
• murisi/L2 github similar
• WebGHC/wasm-cross github similar
• o1-labs/proof-systems github similar
• anoma/anoma github similar
• elba/elba github similar
• idris-hackers/idris-demos github similar
• zcash/halo2 github similar
• heliaxdev/juvix github similar
• MaiaVictor/abstract-algorithm github similar
• microsoft/ivy github similar
• commercialhaskell/stack-templates github similar
• haskell-unordered-containers/unordered-containers github similar
• ElementsProject/simplicity github similar
• frank-lang/frank github similar
• informalsystems/ibc-rs github similar
• haskell-CI/haskell-ci github similar