Popular repositories Loading

1. LogicalDifferentiation LogicalDifferentiation Public

   Differentiation in logical form by Stone duality.

   Coq 8 1

2. Deep-Learning-with-Tensorfow Deep-Learning-with-Tensorfow Public

   Jupyter Notebook

3. Partial-Evaluator Partial-Evaluator Public

   Partial evaluator in Scheme for simple proramming language

   Scheme

4. Agda-Projects Agda-Projects Public

   Verifiction of Automatic Differentiation in Agda

   Agda

5. Algorithmic-Problems-Python Algorithmic-Problems-Python Public

   Interesting Algorithmic Problems bu Python.

   Jupyter Notebook

6. Blockchain Blockchain Public

   Implementation of Blockchain in Python

   Jupyter Notebook