📝 The website builder for Hugo. Build and deploy a beautiful website in minutes!

pytorch implementation for "PointNet: Deep Learning on Point Sets for 3D Classification and Segmentation" https://arxiv.org/abs/1612.00593

Model-based design and verification for robotics.

Easy-to-use glTF 2.0-compliant OpenGL renderer for visualization of 3D scenes.

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

This repository contains the source codes for the paper "Unsupervised cycle-consistent deformation for shape matching".

This repository contains the code for the paper "Occupancy Networks - Learning 3D Reconstruction in Function Space"

A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php

A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online…