Stars
Lean 4 programming language and theorem prover
Tools for simulating x-ray diffraction. Detailed documentation is found at the below link.
Python Diffraction Data Analysis Suite (pydidas) which merges toolkits and tries to supply broad functionality for X-ray diffraction data analysis.
The C++ Standard Library for Parallelism and Concurrency
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Reinforcement Learning Algorithms Tutorial (Python) from scratch (Mar 2021)
Python library for reading and writing scientific data format
A library for scientific machine learning and physics-informed learning
Sandstorm is a self-hostable web productivity suite. It's implemented as a security-hardened web app package manager. | Actively sponsored by our friends at LambdaTest
A personal experimental C++ Syntax 2 -> Syntax 1 compiler
The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmers to gain a deeper understanding of parallel programs.
A high-level Parallel I/O Library for structured grid applications
Tsetlin Machine for Logical Learning and Reasoning With Graphs
Awesome-LLM: a curated list of Large Language Model
Robin: A multi-agent system for automating scientific discovery
Efficient Retrieval Augmentation and Generation Framework
An Asynchronous Distributed C++ Array Processing Toolkit
Python code accompanying the book "An Introduction to Tsetlin Machines".