nightly

nightly's Stars

• astral-sh/uv

  An extremely fast Python package and project manager, written in Rust.

  Language:Rust34.1k704.6k928

• ReVanced/revanced-manager

  💊 Application to use ReVanced on Android

  Language:Dart19k2121.6k770

• hoffstadt/DearPyGui

  Dear PyGui: A fast and powerful Graphical User Interface Toolkit for Python with minimal dependencies

  Language:C++13.5k1591.4k700

• fchollet/ARC-AGI

  The Abstraction and Reasoning Corpus

  Language:JavaScript4k10474625

• rail-berkeley/rlkit

  Collection of reinforcement learning algorithms

  Language:Python2.5k61131555

• BAndysc/AvaloniaVisualBasic6

  A recreation of the classic Visual Basic 6 IDE and language in C# with Avalonia

  Language:C#1.3k161879

• opendilab/awesome-model-based-RL

  A curated list of awesome model based RL resources (continually updated)

  97041152

• kengz/awesome-deep-rl

  A curated list of awesome Deep Reinforcement Learning resources.

  69832071

• koulanurag/ma-gym

  A collection of multi agent environments based on OpenAI gym.

  Language:Python580829106

• starry-sky6688/MADDPG

  Pytorch implementation of the MARL algorithm, MADDPG, which correspondings to the paper "Multi-Agent Actor-Critic for Mixed Cooperative-Competitive Environments".

  Language:Python55254386

• huntabyte/cmdk-sv

  cmdk, but for Svelte ✨

  Language:Svelte50434520

• RLE-Foundation/RLeXplore

  RLeXplore provides stable baselines of exploration methods in reinforcement learning, such as intrinsic curiosity module (ICM), random network distillation (RND) and rewarding impact-driven exploration (RIDE).

  Language:Jupyter Notebook37342316

• lecopivo/SciLean

  Scientific computing in Lean 4

  Language:Lean353204031

• hundredrabbits/100r.co

  Official Website

  Language:HTML341114856

• semitable/robotic-warehouse

  Multi-Robot Warehouse (RWARE): A multi-agent reinforcement learning environment

  Language:Python32952475

• metamath/set.mm

  Metamath source file for logic and set theory

  Language:HTML2592138490

• IINemo/lm-polygraph

  Language:Python19862930

• liuzuxin/FSRL

  🚀 A fast safe reinforcement learning library in PyTorch

  Language:Python1674227

• instadeepai/og-marl

  Datasets with baselines for offline multi-agent reinforcement learning.

  Language:Python15771513

• oxdc/obsidian-vertical-tabs

  An Obsidian plugin that displays open tabs vertically, allowing users to group and organize tabs for a better navigation experience.

  Language:TypeScript1401591

• dominiclet/obsidian-note-definitions

  Obsidian plugin for seamless viewing of personal definitions

  Language:TypeScript1183855

• PatrickMassot/GlimpseOfLean

  An introduction to theorem proving in Lean for the impatient.

  Language:Lean1187354

• UT-Austin-RPL/amago

  a simple and scalable agent for training adaptive policies with sequence-based RL

  Language:Python1052115

• nsidn98/InforMARL

  Code for our paper: Scalable Multi-Agent Reinforcement Learning through Intelligent Information Aggregation

  Language:Python9722523

• FormalizedFormalLogic/Foundation

  Lean4 Logic Formalization

  Language:Lean867325

• leanprover/leansat

  This package provides an interface and foundation for verified SAT reasoning

  Language:Lean51496

• medovina/natty

  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

  Language:OCaml35201

• ElsaTam/obsidian-fancy-a-story

  Repo for the beta version of my in progress theme

  Language:SCSS220

• petersn/autosat

  Library for creation of SAT instances.

  Language:Python18410

• giovannivarr/MPRM-ECAI24

  Language:Python10