A gently curated list of companies using verification formal methods in industry

Python EDA

Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy

This is the toolbox for neural hybrid system modeling, it provides two examples containing LASA data set and an industrial robot.

MACH: MDO of Aircraft Configurations with High fidelity

Constrained deep learning is an advanced approach to training deep neural networks by incorporating domain-specific constraints into the learning process.

Graphical Editor to create BehaviorTrees. Compliant with BehaviorTree.CPP

Read-only mirror of Pynini

A python library to manipulate formal languages and various automata

A Python library for simulating finite automata, pushdown automata, and Turing machines

Qhull development for www.qhull.org -- Qhull 2020.2 (8.1-alpha1) at https://github.com/qhull/qhull/wiki

Very fast greedy diffeomorphic registration code

A Rust implementation of interval arithmetic (IEEE 1788)

Hands-on Deep Reinforcement Learning, published by Packt

An educational resource to help anyone learn deep reinforcement learning.

Tensorflow implementation of Human-Level Control through Deep Reinforcement Learning

Pytorch Implementation of DQN / DDQN / Prioritized replay/ noisy networks/ distributional values/ Rainbow/ hierarchical RL

Python Implementation of Reinforcement Learning: An Introduction

High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

Community for applying LLMs to robotics and a robot simulator with ChatGPT integration

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

VinDr-CXR: An open dataset of chest X-rays with radiologist’s annotations

[pip install medmnist] 18x Standardized Datasets for 2D and 3D Biomedical Image Classification

C++ Large Scale Genetic Programming

Concurrent decision diagram framework written in Rust

Example code for AWS Neuron SDK developers building inference and training applications

Powering AWS purpose-built machine learning chips. Blazing fast and cost effective, natively integrated into PyTorch and TensorFlow and integrated with your favorite AWS services

Transformer Explained Visually: Learn How LLM Transformer Models Work with Interactive Visualization