VIP cheatsheets for Stanford's CS 221 Artificial Intelligence

• UpdatedDec 17, 2019

JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.

• UpdatedMar 17, 2025
• Python

An open-source Java library for Constraint Programming

• UpdatedApr 21, 2025
• Java

Constraint Solving Problem resolver for Python

• UpdatedJun 25, 2025
• Python

NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

• UpdatedFeb 27, 2025
• Python

WFC (Wave Function Collapse) and generic constraint satisfaction problem solver implementation for Godot 4

• UpdatedMay 13, 2025
• GDScript

gophersat, a SAT solver in Go

• UpdatedJun 22, 2024
• Go

Generic Constraint Development Environment

• UpdatedMay 13, 2025
• C++

Source Code for the Book Classic Computer Science Problems in Swift

• UpdatedMar 9, 2025
• Swift

Optimally allocate poker chips using constrained, nonlinear optimization

• UpdatedDec 13, 2024
• Svelte

An Open Source .Net Constraint Programming Solver

• UpdatedApr 20, 2025
• C#

AI project for 3D Path Planning. Other details and running instructions can be found on the Readme.md file

• UpdatedDec 7, 2018
• Python

Implementation of the overlapping model of the Wave Function Collapse algorithm

• UpdatedMay 10, 2024
• Python

A Constraint Satisfaction Problem Solver in Pure Swift

• UpdatedAug 27, 2022
• Swift

random stuff in prolog

• UpdatedDec 26, 2018
• Prolog

A Python package for automatic and optimized resource scheduling

• UpdatedFeb 20, 2025
• Jupyter Notebook

ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models

• UpdatedApr 8, 2024
• Python

A Python Library for modeling combinatorial constrained problems

• UpdatedJun 11, 2025
• Python

Constraint Satisfaction Problem Solver for Golang

• UpdatedJul 11, 2022
• Go

DDO a generic and efficient framework for MDD-based optimization.

• UpdatedMay 23, 2025
• Rust