Pinned Loading

1. flink-path-tracker flink-path-tracker Public

   Forked from apache/flink

   Apache Flink enhanced with data path tracking for ordering guarantee

   Java

2. maple-juice maple-juice Public

   A MapReduce-like distributed computing framework in Go

   Go

3. acto acto Public

   Forked from xlab-uiuc/acto

   Push-Button End-to-End Testing of Kubernetes Operators and Controllers

   Python

4. Arrietty Arrietty Public

   A second-hand item advertising platform dedicated to the NYUSH student community

   Java

5. maude-formal-system-verification maude-formal-system-verification Public

   An attempt at utilizing Maude for formally verifying concurrent system properties such as consistency and safety guarantees by analyzing the HotelReservation component of the DeathStar Microservice…

   Go

6. tomzhu1024/snake tomzhu1024/snake Public

   A snake game on STM32F7Disco, course project for Embedded Computer Systems.

   C