Giters
Dr Andy Nisbet (drandynisbet)

drandynisbet

Geek Repo

3

followers

3

following

0

stars

Company:Manchester University

Location:Manchester

Github PK Tool:Github PK Tool

Dr Andy Nisbet's repositories

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

binder-example

binder-example

Language:PythonStargazers:0Issues:1Issues:0

esbmc

The efficient SMT-based bounded model checker

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

fontconfig

Font customization and configuration library

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Master_Project

Language:C++Stargazers:0Issues:1Issues:0

morello-baremetal-examples

Example code for the Morello Platform

Language:AssemblyStargazers:0Issues:0Issues:0

simplelanguage

A simple language built using Truffle for the GraalVM

Language:JavaLicense:GPL-2.0Stargazers:0Issues:1Issues:0

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0