23 results found Sort:

VIP cheatsheets for Stanford's CS 221 Artificial Intelligence
Created 2019-05-24
41 commits to master branch, last one 5 years ago
131
938
apache-2.0
27
JMLR: OmniSafe is an infrastructural framework for accelerating SafeRL research.
Created 2022-11-19
190 commits to main branch, last one about a month ago
146
717
bsd-4-clause
47
An open-source Java library for Constraint Programming
Created 2011-11-04
6,582 commits to master branch, last one 2 months ago
Constraint Solving Problem resolver for Python
Created 2015-10-04
345 commits to main branch, last one 10 days ago
NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark
Created 2023-01-27
71 commits to main branch, last one about a month 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 6 months ago
gophersat, a SAT solver in Go
Created 2017-09-27
199 commits to master branch, last one about a year ago
77
288
other
24
Generic Constraint Development Environment
Created 2015-11-06
5,620 commits to master branch, last one 6 years ago
Source Code for the Book Classic Computer Science Problems in Swift
Created 2017-04-05
47 commits to master branch, last one about a month ago
Optimally allocate poker chips using constrained, nonlinear optimization
Created 2024-02-14
156 commits to master branch, last one 4 months ago
An Open Source .Net Constraint Programming Solver
Created 2013-06-14
189 commits to main branch, last one 5 months ago
Implementation of the overlapping model of the Wave Function Collapse algorithm
Created 2023-01-08
34 commits to master branch, last one 11 months ago
11
82
apache-2.0
5
A Constraint Satisfaction Problem Solver in Pure Swift
Created 2015-07-22
69 commits to master branch, last one 2 years ago
A Python package for automatic and optimized resource scheduling
Created 2020-12-21
994 commits to master branch, last one about a month ago
A Python Library for modeling combinatorial constrained problems
Created 2019-12-14
750 commits to master branch, last one 12 days ago
9
65
apache-2.0
3
Constraint Satisfaction Problem Solver for Golang
Created 2018-08-25
46 commits to master branch, last one 2 years ago
ICLR 2024: SafeDreamer: Safe Reinforcement Learning with World Models
Created 2024-01-17
5 commits to main branch, last one about a year ago
7
62
mit
4
DDO a generic and efficient framework for MDD-based optimization.
Created 2020-02-21
447 commits to master branch, last one 4 months ago
A demo of a nurse scheduling model
Created 2020-04-08
66 commits to master branch, last one about a year ago
Determine a schedule for running a set of jobs.
This repository has been archived (exclude archived)
Created 2019-11-16
103 commits to master branch, last one 4 months ago
Crossword-generating library and CLI tool
Created 2022-10-16
98 commits to main branch, last one 4 months ago
OpenCASCADE GUI Viewer/Editor
Created 2023-01-29
94 commits to main branch, last one 11 days ago