Skip to content

@RedlineResearch Redline Research

Change the repository type filter

All

    Repositories list

    17 repositories

    • permchecker

      Public
      Coming soon.
      0•1•0•0•Updated Aug 3, 2021Aug 3, 2021

    • QTR-tool

      Public
      C++
      •
      Other
      •0•1•9•3•Updated Apr 26, 2021Apr 26, 2021

    • floorplan

      Public
      Spatial layout specifications for memory management systems.
      Haskell
      •
      Other
      •0•19•2•0•Updated Sep 2, 2020Sep 2, 2020

    • simulator-GC

      Public
      C++
      •1•0•2•0•Updated Nov 12, 2019Nov 12, 2019

    • etanalyzer-cpp

      Public
      C++
      •0•0•8•0•Updated Jul 30, 2019Jul 30, 2019

    • QTR-tool-fork

      Public
      Java agent instrumenter using Javassist
      C++
      •
      Other
      •1•0•4•0•Updated May 29, 2019May 29, 2019

    • ardupilot

      Public
      APM Plane, APM Copter, APM Rover source
      C++
      •
      GNU General Public License v3.0
      •21k•0•0•0•Updated Feb 14, 2019Feb 14, 2019

    • JikesRVM

      Public
      Jikes RVM (Research Virtual Machine)
      Java
      •
      Other
      •85•0•0•0•Updated Jun 3, 2018Jun 3, 2018

    • elephant-tracks

      Public
      C++
      •1•0•6•0•Updated Jul 14, 2017Jul 14, 2017

    • java-mini-benchmarks

      Public
      Java
      •0•1•1•0•Updated Jul 13, 2017Jul 13, 2017

    • adel

      Public
      A new way to program microcontrollers
      C++
      •5•5•0•0•Updated Apr 4, 2016Apr 4, 2016

    • openjdk8

      Public
      Our copy of Open JDK8.
      Java
      •
      GNU General Public License v2.0
      •8•1•0•0•Updated Feb 22, 2016Feb 22, 2016

    • FridayFunday

      Public
      Datalog Club @ Tufts CS hacking on Java and IRIS.
      Python
      •0•1•0•0•Updated Feb 19, 2016Feb 19, 2016

    • LLVMSlicer

      Public
      Static Slicer for LLVM
      C++
      •22•0•0•0•Updated Jan 9, 2016Jan 9, 2016

    • OLD-OpenJDK8

      Public
      Fork of the Open JDK 8 repo
      Java
      •
      GNU General Public License v2.0
      •1•1•2•0•Updated Mar 25, 2015Mar 25, 2015

    • dgroups-data

      Public
      Data files and images
      R
      •0•0•0•0•Updated Feb 19, 2015Feb 19, 2015

    • oicdb

      Public
      Omniscient Interrogative C Debugger
      Python
      •0•1•0•0•Updated May 28, 2014May 28, 2014
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.