Pinned

1. cam cam Public

   Categorical Abstract Machine: Theory, Formalisation, Extensions

   Agda

2. SiFun SiFun Public

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

   OCaml 5

3. Algorithms_and_Datastructures Algorithms_and_Datastructures Public

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

   Java

4. Machine-Learning-and-Real-world-Data Machine-Learning-and-Real-world-Data Public

   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_classes Programming_classes Public

   A C++ programming course materials

   C++ 1

6. 16puzzle 16puzzle Public

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

   JavaScript 1 1