Skip to content
View Mustaf2501's full-sized avatar

Block or report Mustaf2501

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The math library of Lean 4

Lean 2,512 871 Updated Nov 9, 2025

Isaac Lab API, powered by MuJoCo-Warp, for RL and robotics research.

Python 955 99 Updated Nov 8, 2025

GitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!

Python 3,743 700 Updated Nov 8, 2025

ShinkaEvolve: Towards Open-Ended and Sample-Efficient Program Evolution

Python 633 93 Updated Nov 8, 2025

MinHash, LSH, LSH Forest, Weighted MinHash, HyperLogLog, HyperLogLog++, LSH Ensemble and HNSW

Python 2,803 312 Updated Nov 8, 2025

Converts pixel-art-style images such as those from generative models or low-quality sprites to true resolution usable assets

Python 294 18 Updated Nov 7, 2025

A generative world for general-purpose robotics & embodied AI learning.

Python 27,567 2,535 Updated Nov 7, 2025

Book repository for The Turing Way: a how to guide for reproducible, ethical and collaborative data science

TeX 2,092 725 Updated Nov 6, 2025

Understanding Deep Learning - Simon J.D. Prince

Jupyter Notebook 8,477 1,941 Updated Nov 5, 2025
Python 2 Updated Nov 5, 2025
Jupyter Notebook 3 Updated Nov 5, 2025

An Infinitely Large Napkin

TeX 1,746 165 Updated Oct 30, 2025

Learning Deep Representations of Data Distributions

TeX 586 46 Updated Oct 29, 2025

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

MATLAB 12,760 1,218 Updated Oct 28, 2025

Animation engine for explanatory math videos

Python 81,708 6,927 Updated Oct 20, 2025

Lean theorem proving interface which feels like pen-and-paper proofs.

TypeScript 466 13 Updated Oct 18, 2025

Causal Discovery in Python. It also includes (conditional) independence tests and score functions.

Python 1,495 231 Updated Oct 15, 2025

Tidy Plots for Scientific Papers

R 626 26 Updated Oct 14, 2025

Semantic search over every Emergent Ventures winner.

TypeScript 27 6 Updated Oct 10, 2025

Embeddings-based search of Emergent Ventures winners

Jupyter Notebook 8 1 Updated Oct 10, 2025

Ciw is a simulation library for open queueing networks.

Python 164 43 Updated Oct 10, 2025

Dream Journal focused on lucid dreaming

JavaScript 2 Updated Sep 20, 2025

A hand-picked collection of the best lucid dreaming apps, devices, research papers, books, forums, discord servers, podcasts, games, movies, YouTube channels, and techniques. Find open-source proje…

102 3 Updated Sep 17, 2025

AI, especially Deep Learning, has made breakthroughs in learning from Brain Signals, vital for both Brain Encoding and Decoding. Unlock the potential with this repository—a curated collection of re…

9 2 Updated Sep 17, 2025

Comparative analysis of pairwise interactions in multivariate time series.

Python 245 31 Updated Sep 17, 2025

A lucid dreaming device that detects eye movements during REM sleep and triggers audio and visual alerts to promote lucidity. Like having your own private sleep lab technician that watches you slee…

C 38 1 Updated Sep 14, 2025

Curated Collection of BCI resources

1,363 268 Updated Sep 7, 2025

Course 5SSD0 - Bayesian Machine Learning and Information Processing

Jupyter Notebook 50 19 Updated Sep 1, 2025

ML from scratch

Jupyter Notebook 2,422 201 Updated Aug 12, 2025
Next