Lists (13)
Stars
A high-fidelity, open-source robotics simulator integrating Unreal Engine's photorealistic rendering with MuJoCo's precision physics.
Lean 4 programming language and theorem prover
A collection of high-quality models for the MuJoCo physics engine, curated by Google DeepMind.
A lean, ROS-free sim-to-real framework for training and deploying Vision-Language-Action (VLA) models and RL agents. Native MuJoCo Gymnasium wrappers with synchronous execution for Franka, UR5e, xA…
a structural diff that understands syntax 🟥🟩
A syntax-highlighting pager for git, diff, grep, rg --json, and blame output
Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.13. You feed it your Python app, it does a lot of clever things, and spits out an executable or exte…
An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.
Render markdown on the CLI, with pizzazz! 💅🏻
A small Neovim plugin for previewing definitions using floating windows.
🚦 A pretty diagnostics, references, telescope results, quickfix and location list to help you solve all the trouble your code is causing.
inkarkat / vim-mark
Forked from vim-scripts/MarkHighlight several words in different colors simultaneously.
illuminate.vim - (Neo)Vim plugin for automatically highlighting other uses of the word under the cursor using either LSP, Tree-sitter, or regex matching.
Single tabpage interface for easily cycling through diffs for all modified files for any git rev.
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
Robot registration (roboreg): eye-to-hand calibration from RGB / RGB-D images using robot mesh as calibration target.
A light weight Python library for the Spotify Web API
A plain text-based spaced repetition system.