danalvi

Danish Alvi's repositories

We implement a Markov Chain based algorithm for generating domino tilings for the Aztec Diamond.

Language:Jupyter Notebook010

UCL MSc Computational Statistics and Machine Learning Revision Notes

CC-BY-4.0010

Language:HTML000

This is a repository of all Data Structures I have yet implemented

Language:C010

A set of (self-motivated) exercises of solving Graph Theoretic problems in Haskell.

Language:Haskell01 1

My course, IMC010 for Type Theory and Coq!

Language:Coq010

Language:Python01 1

A set of exercises in Magma for my Computer Algebra course, and also motivated by my research in Algebraic Graph Theory.

Language:MATLAB010

This is the development repository for the OpenFHE library. The current development version is 0.9.1 (released on July 21, 2022).

Language:C++BSD-2-Clause000

Python Library for Probabilistic Graphical Models

Language:PythonMIT010

MAGMA-based algebraic Proof of Existence of Purification Circuits

Language:MATLAB010