22 results found Sort:

VIP cheatsheets for Stanford's CS 221 Artificial Intelligence
Created 2019-05-24
41 commits to master branch, last one 4 years ago
130
912
apache-2.0
38
JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.
Created 2022-11-19
187 commits to main branch, last one 25 days ago
137
687
bsd-4-clause
49
An open-source Java library for Constraint Programming
Created 2011-11-04
6,330 commits to master branch, last one 5 days ago
Constraint Solving Problem resolver for Python
Created 2015-10-04
180 commits to main branch, last one 8 months ago
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
Created 2023-01-27
70 commits to main branch, last one 4 months ago
gophersat, a SAT solver in Go
Created 2017-09-27
199 commits to master branch, last one 8 months ago
WFC (Wave Function Collapse) and generic constraint satisfaction problem solver implementation for Godot 4
Created 2023-06-02
67 commits to master branch, last one a day ago
76
275
other
24
Generic Constraint Development Environment
Created 2015-11-06
5,620 commits to master branch, last one 5 years ago
Source Code for the Book Classic Computer Science Problems in Swift
Created 2017-04-05
46 commits to master branch, last one 8 months ago
Optimally allocate poker chips using constrained, nonlinear optimization
Created 2024-02-14
154 commits to master branch, last one 3 months ago
An Open Source .Net Constraint Programming Solver
Created 2013-06-14
184 commits to main branch, last one 7 months ago
Implementation of the overlapping model of the Wave Function Collapse algorithm
Created 2023-01-08
34 commits to master branch, last one 4 months ago
11
81
apache-2.0
6
A Constraint Satisfaction Problem Solver in Pure Swift
Created 2015-07-22
69 commits to master branch, last one 2 years ago
A Python Library for modeling combinatorial constrained problems
Created 2019-12-14
731 commits to master branch, last one 2 days ago
A Python package for automatic and optimized resource scheduling
Created 2020-12-21
964 commits to master branch, last one 2 days ago
9
58
apache-2.0
3
Constraint Satisfaction Problem Solver for Golang
Created 2018-08-25
46 commits to master branch, last one 2 years ago
5
55
mit
4
DDO a generic and efficient framework for MDD-based optimization.
Created 2020-02-21
445 commits to master branch, last one about a month ago
A demo of a nurse scheduling model
Created 2020-04-08
66 commits to master branch, last one 11 months ago
Determine a schedule for running a set of jobs.
Created 2019-11-16
101 commits to master branch, last one 11 months ago
ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models
Created 2024-01-17
5 commits to main branch, last one 5 months ago
Crossword-generating library and CLI tool
Created 2022-10-16
93 commits to main branch, last one 14 days ago