drandynisbet

Manchester UniversityManchester

Pinned Repositories

Maxine-VM
Maxine VM: A meta-circular research VM
Language:Java325 27 1964
bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Language:C0 0 00
binder-example
binder-example
Language:Python0 1 00
esbmc
The efficient SMT-based bounded model checker
Language:C++0 0 00
fontconfig
Font customization and configuration library
Language:C0 0 00
Master_Project
Language:C++0 1 00
morello-baremetal-examples
Example code for the Morello Platform
Language:Assembly0 0 00
simplelanguage
A simple language built using Truffle for the GraalVM
Language:Java0 1 00
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
Language:Rust0 0 00
justgen
Language:OCaml4 4 20

drandynisbet's Repositories

drandynisbet/bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Language:C0 0 00
drandynisbet/binder-example
binder-example
Language:Python0 1 00
drandynisbet/esbmc
The efficient SMT-based bounded model checker
Language:C++0 0 00
drandynisbet/fontconfig
Font customization and configuration library
Language:C0 0 00
drandynisbet/Master_Project
Language:C++0 1 00
drandynisbet/morello-baremetal-examples
Example code for the Morello Platform
Language:Assembly0 0 00
drandynisbet/simplelanguage
A simple language built using Truffle for the GraalVM
Language:Java0 1 00
drandynisbet/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
Language:Rust0 0 00