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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 language server and VS Code extension for marimo

TypeScript 63 4 Updated Dec 18, 2025

Petting Zoo Utils (pzu) for Multi-Agent Reinforcement Learning

Python 1 Updated Nov 29, 2025

LTeX+: Grammar/spell checker 🔍✔️ for VS Code using LanguageTool with support for LaTeX 🎓, Markdown 📝, and others

TypeScript 188 8 Updated Dec 2, 2025
Python 2 1 Updated May 22, 2025

An interactive Agda tutorial

JavaScript 15 5 Updated Nov 9, 2025

Code for our AAAI 26 paper: "Expressive Temporal Specifications for Reward Monitoring"

Jupyter Notebook 2 Updated Nov 28, 2025
Python 280 46 Updated Feb 15, 2024

NeurIPS 2023: Safe Policy Optimization: A benchmark repository for safe reinforcement learning algorithms

Python 387 56 Updated Mar 20, 2024

Constrained Policy Optimization

Python 335 82 Updated Jun 7, 2017

Rainbow is all you need! A step-by-step tutorial from DQN to Rainbow

Jupyter Notebook 2,002 349 Updated Sep 26, 2025

📚 Parameterize, execute, and analyze notebooks

Python 6,340 445 Updated Dec 1, 2025

MASA-Safe-RL: A Safe Reinforcement Library for providing a common interface for different constraints and environments

Python 1 1 Updated Dec 18, 2025

Single file implementations of Deep Multi-agent Reinforcement Learning

Python 51 9 Updated Dec 10, 2025

Modular Reinforcement Learning (RL) library (implemented in PyTorch, JAX, and NVIDIA Warp) with support for Gymnasium/Gym, NVIDIA Isaac Lab, Brax and other environments

Python 942 117 Updated Dec 18, 2025

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

Python 1,036 145 Updated Mar 17, 2025

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

Python 17,905 837 Updated Dec 18, 2025

Sapphire is a vibrant blue theme for Visual Studio Code

TypeScript 38 8 Updated Jan 11, 2022

Robust Speech Recognition via Large-Scale Weak Supervision

Python 92,131 11,547 Updated Dec 15, 2025

Download web video and audio

C++ 4,661 212 Updated Dec 17, 2025

Hierarchical Reasoning Model Official Release

Python 12,156 1,779 Updated Sep 9, 2025

Simultaneous speech-to-text model

Python 9,256 909 Updated Dec 9, 2025

Really Fast End-to-End Jax RL Implementations

Python 1,003 82 Updated Sep 9, 2024

Render any git repo into a single static HTML page for humans or LLMs

Python 1,970 193 Updated Aug 21, 2025

A collection of wrappers for Gymnasium and PettingZoo environments (being merged into gymnasium.wrappers and pettingzoo.wrappers

Python 490 63 Updated Aug 11, 2025

🌸 Joy of Code is a digital garden growing curious minds

Svelte 499 126 Updated Nov 3, 2025

A toolkit for creating data table components with Svelte

TypeScript 577 20 Updated Dec 17, 2025

A TizenBrew module to remove ads and add support for SponsorBlock for your Tizen TV.

JavaScript 1,270 91 Updated Dec 15, 2025

A way to experience modded websites and you can install newer apps without fighting with Tizen Studio

JavaScript 1,054 74 Updated Nov 26, 2025

Wan: Open and Advanced Large-Scale Video Generative Models

Python 12,877 1,498 Updated Dec 17, 2025
Next