8000 nightly (Omar Adalat) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View nightly's full-sized avatar

Highlights

  • Pro

Block or report nightly

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

A custom reinforcement learning environment for OpenAI Gym & PettingZoo that implements various Stag Hunt-like social dilemma games.

Python 32 10 Updated May 30, 2025

Repo for reproduction of sequential social dilemmas

Python 403 136 Updated Mar 6, 2025

A Modern Probabilistic Model Checker

C++ 148 81 Updated Jun 16, 2025

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

MATLAB 9,904 967 Updated May 16, 2025

Stochastic Q-learning for Large Discrete Action Spaces

Python 3 Updated Nov 18, 2024

Simplifying reinforcement learning for complex game environments

C 2,127 133 Updated Jun 16, 2025

An extremely fast Python linter and code formatter, written in Rust.

Rust 40,063 1,396 Updated Jun 16, 2025

The LaTeX beamerposter package

TeX 419 160 Updated Dec 13, 2021

Benchmarking the Spectrum of Agent Capabilities

Python 450 70 Updated Jan 23, 2024

The official Python library for Counting Reward Machines.

Python 5 Updated Jun 5, 2025

Styling matplotlib made easy

Python 799 21 Updated Mar 1, 2025

GameStream client for PCs (Windows, Mac, Linux, and Steam Link)

C++ 13,461 771 Updated Jun 2, 2025

Self-hosted game stream host for Moonlight.

C++ 26,493 1,255 Updated Jun 16, 2025

View your Obsidian notes as interactive recipe cards while you cook.

TypeScript 146 9 Updated May 5, 2024

Advanced player for set-top boxes and tvs running Android OS

Java 23,184 1,242 Updated Jun 16, 2025

An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities

Python 2,972 440 Updated May 28, 2025

A suite of test scenarios for multi-agent reinforcement learning.

Python 709 138 Updated Jun 1, 2025

Implementation of all RL algorithms in a simpler way

Jupyter Notebook 914 120 Updated Apr 29, 2025

A computer algebra system written in pure Python

Python 13,691 4,701 Updated Jun 15, 2025

A Python package for automata theory.

Python 56 6 Updated Jan 17, 2024

Extended, multi-agent and multi-objective (MaMoRL / MoMaRL) environments based on DeepMind's AI Safety Gridworlds. This is a suite of reinforcement learning environments illustrating various safety…

Python 11 2 Updated Apr 28, 2025

This action automatically approves and merges dependabot PRs

JavaScript 170 36 Updated Jun 16, 2025

Take full control over the order and sorting of folders and notes in File Explorer in Obsidian

TypeScript 359 23 Updated Jun 6, 2025

A non-saturating, open-ended environment for evaluating LLMs in Factorio

HTML 731 42 Updated Jun 14, 2025

Chrome extension that sorts openrent.co.uk properties in descending order, by recently updated.

JavaScript 1 Updated Feb 19, 2025

Streamlining reinforcement learning with RLOps. State-of-the-art RL algorithms and tools.

Python 781 65 Updated Jun 16, 2025

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Python 5,332 438 Updated May 8, 2025

Evrostos: The rLTL Verifier

C 4 Updated Oct 25, 2021
Next
0