alexjordan Goto Github PK

acmart

ACM consolidated LaTeX styles

aegean

Configuration framework for the T-CREST platform (Aegean)

argus

Utility to switch the resolution, rate, rotation of the screens easily.

clang-tms320c64x

Clang 2.9 branch for TI C64x backend

dropbox-uploader

Dropbox Uploader is a BASH script which can be used to upload, download, list or delete files from Dropbox, an online file sharing, synchronization and backup service.

hello-wcet

Patmos helloworld including steps for WCET analysis.

llvm-tms320c64x

LLVM 2.9 branch with TI C64x backend.

nodeprof.js

An efficient instrumentation and profiling framework for Graal.js.

otawa

OTAWA/Patmos WCET tool in integrated working repository

patmos

Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project

patmos-benchmarks

A collection of benchmarks and tests for the Patmos processor and compiler

patmos-clang

Port of the clang front-end to the time-predictable processor Patmos

patmos-llvm

Port of the LLVM compiler infrastructure to the time-predictable processor Patmos

patmos-misc

Config files, scripts, and other stuff for Patmos

patmos-otawa

Files for OTAWA Patmos port

safe

Scalable Analysis Framework for ECMAScript

singlepass

Regression tests for the LLVM/TMS320C64X backend.

souffle

Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.

swsc-test

vpndemon

Monitor a VPN connection on Linux and kill a process upon disconnect

xshady

vulnerabilities found in shaded projects