A Dependently Typed Functional Programming Language

Automatic quad remeshing tool

Agda is a dependently typed programming language / interactive theorem prover.

Software engineering self assessment

Master programming by recreating your favorite technologies from scratch.

An MVVM implementation for React with MobX

A 3D RTS game implemented in Rust.

3️⃣ A curated list of awesome ThreeJS resources

An open source, browser-based 3D spatial platform for meeting, playing, and working.

Convert a PDDL domain into an OpenAI Gym environment.

Extendable client for GitHub's REST & GraphQL APIs

Jest testing utilities for Three.js. Includes a snapshot serializer for Three.js objects.

PDDL parsing and multi-file work-space logic

😎 A curated list of robotics libraries and software

😎 A curated list of awesome collision detection libraries and resources

An add-on for Blender allowing to create URDF, SDF and SMURF robot models in a WYSIWYG environment.

URDF Loaders for Unity and THREE.js with example ATHLETE URDF Files open sourced from NASA JPL

Examples for the Three.js Cookbook book published by packt

Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

Fast deterministic all-Python Lennard-Jones particle simulator that utilizes Numba for GPU-accelerated computation.

Конспект по курсу «История и философия науки»

A lightweight library that converts raw HTML to a React DOM structure.

Javascript Canvas Library, SVG-to-Canvas (& canvas-to-SVG) Parser

Python bindings for https://github.com/hjwdzh/Manifold

Create, manipulate and convert representations of position and orientation in 2D or 3D using Python

Build your Nix package automatically

ROS packages for AR3

ISG lets you use YouTube as cloud storage for ANY files, not just video

Vosk node for ROS Robot Operating System