Explore @RedlineResearch Open Source projects

Redline Research (@RedlineResearch)

RedlineResearch

Stars
28
Global Org. Rank 102,911 (Top 33 %)
Registered over 11 years ago
Most used languages

Java
42.9 %

Python
28.6 %

C++
14.3 %

Haskell
14.3 %
Location 🇺🇸 United States
Country Total Rank 94,186
Country Ranking

Haskell
635

floorplan

Spatial layout specifications for memory management systems.

adel

A new way to program microcontrollers

oicdb

Omniscient Interrogative C Debugger

permchecker

java-mini-benchmarks

OLD-OpenJDK8

Fork of the Open JDK 8 repo

FridayFunday

Datalog Club @ Tufts CS hacking on Java and IRIS.

openjdk8

Our copy of Open JDK8.