Redline Research

permchecker Public
Coming soon.

RedlineResearch/permchecker’s past year of commit activity

1 0 0 0 Updated Aug 3, 2021
QTR-tool Public

RedlineResearch/QTR-tool’s past year of commit activity

C++ 1 0 9 3 Updated Apr 26, 2021
floorplan Public
Spatial layout specifications for memory management systems.

RedlineResearch/floorplan’s past year of commit activity

Haskell 19 0 2 0 Updated Sep 2, 2020
simulator-GC Public

RedlineResearch/simulator-GC’s past year of commit activity

C++ 0 1 2 0 Updated Nov 12, 2019
etanalyzer-cpp Public

RedlineResearch/etanalyzer-cpp’s past year of commit activity

C++ 0 0 8 0 Updated Jul 30, 2019
QTR-tool-fork Public Forked from ElephantTracksProject/et2-java
Java agent instrumenter using Javassist

RedlineResearch/QTR-tool-fork’s past year of commit activity

C++ 0 1 4 0 Updated May 29, 2019
ardupilot Public Forked from ArduPilot/ardupilot
APM Plane, APM Copter, APM Rover source

RedlineResearch/ardupilot’s past year of commit activity

C++ 0 GPL-3.0 18,703 0 0 Updated Feb 14, 2019
JikesRVM Public Forked from JikesRVM/JikesRVM
Jikes RVM (Research Virtual Machine)

RedlineResearch/JikesRVM’s past year of commit activity

Java 0 87 0 0 Updated Jun 3, 2018
elephant-tracks Public

RedlineResearch/elephant-tracks’s past year of commit activity

C++ 0 1 6 0 Updated Jul 14, 2017
java-mini-benchmarks Public

RedlineResearch/java-mini-benchmarks’s past year of commit activity

Java 1 0 1 0 Updated Jul 13, 2017

Provide feedback