Pinned Loading

1. camcamPublic

   Categorical Abstract Machine: Theory, Formalisation, Extensions

   Agda 6

2. SiFunSiFunPublic

   Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher-Rank Polymorphism).

   OCaml 5

3. Algorithms_and_DatastructuresAlgorithms_and_DatastructuresPublic

   A small set of algorithms, data structures and coding techniques.

   Java

4. Machine-Learning-and-Real-world-DataMachine-Learning-and-Real-world-DataPublic

   This is a course taught at University of Cambridge. I want to present my implementations of the machine learning and data analysis algorithms.

   Java

5. Programming_classesProgramming_classesPublic

   A C++ programming course materials

   C++ 1

6. 16puzzle16puzzlePublic

   This is a more advanced version of popular game 15 puzzle created with React.js.

   JavaScript 1 1