Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Massively parallel rigidbody physics simulation on accelerator hardware.

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 …

Orocos Kinematics and Dynamics C++ library

Zotero plugin to automatically move attachments and link them

Packaged versions of Zotero and Juris-M for Debian-based systems

RCareWorld simulation environment for caregiving robots

Robot physics simulation and RL platform based on Unity / 基于Unity的机器人物理仿真和RL平台

ROS interface for MuJoCo simulator

Unreal plugin for robot visualisation using ROS connecting with WebSockets.

Central repository for tools, tutorials, resources, and documentation for robotics simulation in Unity.

A package implementing various controllers for first order DS tasks

Real-time behaviour synthesis with MuJoCo, using Predictive Control

A new kind of Progress Bar, with real-time throughput, ETA, and very cool animations!

A tool for parallel computation of interval over-approximations to reachable sets of nonlinear control systems, powered by the pFaces acceleration ecosystem; more briefly, a Parallel Interval Reach…

Rendered math (MathJax) with Slack's desktop client

C++ Documentation

OSS-Fuzz - continuous fuzzing for open source software.

This program takes out undesired fields from a biblatex file. Written to clean up Zotero biblatex exports.

Library helping to incorporate biological constraints into Nengo networks

🐳 Matrix (An open network for secure, decentralized communication) server setup using Ansible and Docker

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

Nengo library of additional extensions

A version of Open_RAT-SLAM for ROS Kinetic with little codes modified to solve the problem of Irrlicht.

Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems

Automatic headphone equalization from frequency responses

Tool for Riot's League of Legends to clear outdated or make new Custom Item sets