Beast code in Giters

Daniel Pekarek's repositories

vmx86

x86 interpreter based on GraalVM/Truffle

Language:JavaUPL-1.07 10

tracer

Graal based x86 interpreter with separate execution trace analyzer

Language:Java5 20

libtrc

A C library for writing trcview compatible architecture independent traces

Language:C100

libtrc2

A better C library for writing trcview compatible architecture independent traces

Language:C1 20

trace86

x86_64 execution tracer using ptrace

Language:C1 20

asm

Language:Python020

compiler-rt

Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.

Language:CNOASSERTION020

core

Most important utility functions/classes

Language:Java020

dockerfiles

020

libc-tests

Language:C020

LowFat

Lean C/C++ Bounds Checking with Low-Fat Pointers

Language:C++NOASSERTION020

manticore-trace

Compare execution traces using manticore

Language:Python020

mx

Command-line tool used for the development of Graal projects.

Language:PythonGPL-2.0020

safe-libc

Language:C020

snake-jku

Snake for JKU's PDP-11/03-L (with broken RAM) + ADM-3A

Language:Assembly020

softboundcets-3.8.0

Language:C++020

sulong

Sulong, a dynamic runtime for LLVM-based languages.

Language:JavaNOASSERTION020

sulong-musl

musl + changes to make it work on Sulong

Language:CNOASSERTION020