Stars
A digital logic designer and circuit simulator.
Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, Mistral Small 3.1 and other large language models.
A solver of loud framework, for synthesizing strongest over-approximation and weakest under-approximation
Digital logic design tool and simulator
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
ytopt: machine-learning-based autotuning and hyperparameter optimization framework using Bayesian Optimization
Shrinkray is a modern multi-format test-case reducer
High-efficiency floating-point neural network inference operators for mobile, server, and Web
Autoware - the world's leading open-source software project for autonomous driving