+
Skip to content
View Tass0sm's full-sized avatar

Organizations

@InfiniteResistance @Salinity-Crisis-Interactive

Block or report Tass0sm

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
Showing results

Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.

C++ 29 12 Updated Apr 14, 2020

A curated list of mathematical optimization courses, lectures, books, notes, libraries, frameworks and software.

466 49 Updated Dec 15, 2024

[CVPR 2025] GigaHands: A Massive Annotated Dataset of Bimanual Hand Activities

Python 57 3 Updated Jul 9, 2025

Train a loco-manipulation dog with RL

Python 265 30 Updated Aug 15, 2024

NVIDIA Isaac GR00T N1.5 is the world's first open foundation model for generalized humanoid robot reasoning and skills.

Jupyter Notebook 4,368 617 Updated Jul 9, 2025

Safe guaranteed exploration for non-linear systems

Python 18 1 Updated Feb 9, 2024

An open-source, GPU-accelerated physics simulation engine built upon NVIDIA Warp, specifically targeting roboticists and simulation researchers.

Python 551 50 Updated Jul 10, 2025

[ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"

9 1 Updated May 1, 2025
Python 4 Updated Apr 28, 2025

Turn thousands of Org files into a database in seconds

Emacs Lisp 97 5 Updated Jun 21, 2025

Code for “Signal Temporal Logic meets Hamilton-Jacobi Reachability: Connections and Applications” by Mo Chen, Qizhan Tam, Scott C. Livingston, and Marco Pavone.

C++ 15 6 Updated Sep 19, 2018

A benchmark for offline goal-conditioned RL and offline RL

Python 195 45 Updated Jul 3, 2025

AI assisted programming in Emacs with Aider

Emacs Lisp 557 27 Updated Jul 7, 2025

PyTorch media decoding and encoding

Python 619 45 Updated Jul 10, 2025

A web-based collaborative LaTeX editor

JavaScript 16,208 1,662 Updated Jul 10, 2025

Code from the paper "You need 27 tickets to guarantee a win on the UK National Lottery"

Prolog 15 7 Updated Nov 20, 2023

Library for LLM-driven action model acquisition via natural language

Python 32 4 Updated Jun 5, 2025
Jupyter Notebook 59 4 Updated Jul 10, 2025

Implementation for SE(3) diffusion model with application to protein backbone generation

Python 389 59 Updated Jul 3, 2023

Toy implementation of Differentiable Task Assignment and Motion Planning in jax

Jupyter Notebook 1 Updated Sep 29, 2023

GPU-Parallel RRT-Connect

Cuda 29 Updated Jun 6, 2025

ICRA2025: OpenGS-SLAM: Open-Set Dense Semantic SLAM with 3D Gaussian Splatting for Object-Level Scene Understanding

Cuda 225 6 Updated Mar 27, 2025
Python 9 4 Updated May 30, 2025

LitStudy: Using the power of Python to automate scientific literature analysis from the comfort of a Jupyter notebook

Python 193 56 Updated May 27, 2025

Differentiable Rasteriser implemented in JAX. Reference: https://github.com/erwincoumans/tinyrenderer, https://github.com/ssloy/tinyrenderer/wiki; PR: https://github.com/google/brax/pull/367

Jupyter Notebook 73 7 Updated Nov 14, 2023

CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained …

C++ 1,945 414 Updated Jul 9, 2025
C++ 20 Updated Mar 4, 2022
Python 1,286 260 Updated Jul 23, 2024
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载