Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

Implementation of ICML 22 Paper: Scaling Structured Inference with Randomization

Randomized Greedy Polynomial Chaos Expansions

Probabilistic method for the computation of the approximate product of two matrices

A Julia randomized linear algebra library.

[ICML 2023] Official implementation of "A randomized schur complement based graph augmentor"

[IEEE ICASSP 2021] "A fast randomized adaptive CP decomposition for streaming tensors". In 46th IEEE International Conference on Acoustics, Speech, & Signal Processing, 2021.

High-Performance Python Package for Scalable Randomized Algorithms in Linear Algebra

Code for our preprint paper titled "Sampling-Based Decomposition Algorithms for Arbitrary Tensor Networks"

Algorithms written in Swift for an Udacity course - Introduction to Graduate Algorithms

Algorithms-Specialization from Stanford:

Meta-factorization

Approximating optimization problems using EAs on scale-free networks

Probabilistic Data Structures

AA Second Project - The objective of this project was to design and test a randomized algorithm to solve the combinatorial problem from the first assignment, which was to find a minimum weighted closure for a given vertex-weighted directed graph G(V, E), with n vertices and m edges. This randomized algorithm was based on the Monte Carlo algorithms.

Basic bioinformatics algorithms implementation using c++14

Implementation of a few Randomized Optimization algorithm such as Hill climbing, Simulated Annealing, Genetic Algorithms plus drawing fitness function

"Algorithm Design" Course Material

Lecture Notes on Interesting Topics in Computer Science

Programming Assignments for Algorithm Specialization (4 Courses) offered by Stanford University via the Coursera network