Popular repositories Loading

1. ML-Homework ML-Homework Public

   ML-Homework

   Jupyter Notebook

2. 2048 2048 Public

   JavaScript

3. MathsSolver MathsSolver Public

   Forked from lucienwalewski/MathsSolver

   CSE201 Project - Handwritten Maths Solver

   C++

4. agda-lib agda-lib Public

   my agda lib

   Agda

5. sort-and-regular-exp sort-and-regular-exp Public

   Two projects down by coq, one formalize heap sort algorithm, one show some properties of regular expression

   Coq

6. compiler compiler Public

   Python