Stars
Collection of step-by-step playbooks for setting up AI/ML workloads on NVIDIA DGX Spark devices with Blackwell architecture.
An addon for Godot 4 that manages a developer-created Command Line, with the goal of providing flexible commands, with direct but safe interaction with business logic, through readable command decl…
A Python-based toolbox of various methods in decision making, uncertainty quantification and statistical emulation: multi-fidelity, experimental design, Bayesian optimisation, Bayesian quadrature, …
Fully and Partially Bayesian Neural Nets
MinHash, LSH, LSH Forest, Weighted MinHash, HyperLogLog, HyperLogLog++, LSH Ensemble and HNSW
Locality Sensitive Hashing, fuzzy-hash， min-hash, simhash, aHash, pHash, dHash。基于 Hash值的图片相似度、文本相似度
Reinforcement learning environments for compiler and program optimization tasks
Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation
ANTLR v4 grammar-based test generator
A verification tool for many memory models
Eddy Murphi with Lazy Communication
3D racing game with Sci-Fi elements and own Track Editor. The main repository with sources and data. Using Ogre-Next 3.0 and VDrift.
A random fuzz generator for the RISC-V vector extension intrinsics
Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects.
🦀 Small exercises to get you used to reading and writing Rust code!
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
Static Value-Flow Analysis Framework for Source Code