Pinned

1. Ironclad Ironclad Public

   Forked from bytian/Ironclad

   The MSR Ironclad project builds provably secure and reliable systems.

   C#

2. Multi-Paxo-Chat-System Multi-Paxo-Chat-System Public

   Chat system applying Multi-Paxos algorithm to achieve crash fault tolerance.

   Python 1 1

3. PLCAnalyzer PLCAnalyzer Public

   Static analysis tool on LLVM for PLC programs. It takes converted PLC programs as inputs and generates a report for (1) critical paths where safety-critical values can be affected, and (2) overwhel…

   C++ 2 4

4. Java-CPP-Translator Java-CPP-Translator Public

   Java to C++ translator. It outputs an equivalent C++ module to the original java code, with Java-style OOP inheritance, garbage collection and runtime exceptions.

   Java 3

5. Dressing-Assistant Dressing-Assistant Public

   An automatic camera monitor, with computer vision to instruct disabled people to dress up without any caregiver in presence.

   Python 1 1

6. Jumbyrinth-iOS Jumbyrinth-iOS Public

   An iOS game extending the traditional Labyrinth to 3-dimension with new playful features: users can control the ball to "jump" over barriers, and a "blackhole" may transport the ball to an unexpect…

   Swift