Pinned Loading

1. CP-next CP-next Public

   The Next Generation of Compositional Programming

   Coq 19 4

2. PyJS PyJS Public

   A minimal Python interpreter written in JavaScript

   JavaScript 27 2

3. QSCTech/qsc-mobile-ios-v3 QSCTech/qsc-mobile-ios-v3 Public

   Legacy Code of ZJU Campus App for iOS

   Swift 11 1

4. truffle-erlang truffle-erlang Public

   Erlang implementation built on GraalVM/Truffle

   Java 13 1

5. CurriculaTable CurriculaTable Public

   A flexible curricula timetable written in Swift

   Swift 13 3

6. othello-ai othello-ai Public

   Othello AI using negamax search with alpha-beta pruning

   C++ 2