avanhatt
Follow
-
wasmtime Public
Forked from bytecodealliance/wasmtimeStandalone JIT-style runtime for WebAssembly, using Cranelift
-
-
asplos24-ae-crocus Public
Artifact for our ASPLOS 2024 paper, Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection (Crocus)
-
-
-
-
icse22ae-kani Public
Kani Rust Model Checker artifact for ICSE 2022 Artifact Evaluation
-
firecracker Public
Forked from nchong-at-aws/firecrackerSecure and fast microVMs for serverless computing.
Rust Apache License 2.0 UpdatedFeb 10, 2022 -
-
vm-superio Public
Forked from rust-vmm/vm-superioEmulation for legacy devices
Rust Apache License 2.0 UpdatedDec 8, 2021 -
parallel_fsm_rv Public
Exploring Data Parallel Finite State Machines for Runtime Verification
-
-
llvm-loop-perforation Public
An LLVM pass that mangles your loops, on purpose!
-
-
-
llvm-pass-skeleton Public
Forked from sampsyo/llvm-pass-skeletonexample LLVM pass
CMake MIT License UpdatedNov 6, 2019 -
bril Public
Forked from sampsyo/brilan educational compiler intermediate representation
JavaScript MIT License UpdatedOct 30, 2019 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedAug 10, 2019 -
-
ece4750-tut4-verilog Public
Forked from bzl3/ece4750-tut4-verilogECE 4750 Tutorial 4: Verilog Hardware Description Language
Verilog UpdatedAug 26, 2016