3D simulation in Jupyter
☆22Sep 17, 2025Updated 5 months ago
Alternatives and similar repositories for py3d
Users that are interested in py3d are comparing it to the libraries listed below
Sorting:
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Jul 18, 2022Updated 3 years ago
- WWW'24, Mirror Gradient (MG) makes multimodal recommendation models approach flat local minima easier compared to models with normal trai…☆17Nov 1, 2024Updated last year
- The MAPFpython library is designed for rapid research into multi-agent pathfinding domains.☆12May 18, 2017Updated 8 years ago
- The implementation of paper ''Efficient Attention Network: Accelerate Attention by Searching Where to Plug''.☆20Jun 16, 2023Updated 2 years ago
- DrivingSchool is a lightweight web-based 3D simulator. It is aimed at providing a simple and easy-to-use simulation environment for reinf…☆27Apr 12, 2019Updated 6 years ago
- I implemented the fllowing article by Matlab.Refrence:Oh T H, Matsushita Y, Tai Y W, et al. Fast Randomized Singular Value Thresholding f…☆30Jun 5, 2018Updated 7 years ago
- A design automation framework to engineer decision diagrams yourself☆26Updated this week
- The final project of Advance Machine Learning course in Tsinghua University. This project aims to make a color transfer of animes charact…☆31Dec 21, 2020Updated 5 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- ☆32Jan 21, 2018Updated 8 years ago
- Fastened CROWN: Tightened Neural Network Robustness Certificates☆10Feb 10, 2020Updated 6 years ago
- Discord Docsbot, Built on bgent☆11Jun 17, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- This program meshes Volumetric Video recorded with LiveScan3D☆10Dec 17, 2020Updated 5 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- ☆10Feb 9, 2024Updated 2 years ago
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 4 months ago
- 不定期更新爬取各国网站的爬虫源码☆10Aug 15, 2018Updated 7 years ago
- ☆25Apr 10, 2019Updated 6 years ago
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- Enables Vagrant to package a running VMware environment into a box☆11Feb 1, 2019Updated 7 years ago
- Intuitive, flexible, Lua-jit script for any platform☆10Sep 10, 2021Updated 4 years ago
- Edit from https://github.com/shadowsocks/shadowsocks-libev/tree/master/docker/alpine☆10Jun 10, 2019Updated 6 years ago
- ☆11Oct 8, 2020Updated 5 years ago
- A python framework for Optimal Planning Modulo Theories☆12Jan 26, 2024Updated 2 years ago
- Go package using C++ rapidjson for better JSON handling☆10Oct 19, 2017Updated 8 years ago
- Boolean expression parser☆10Dec 19, 2022Updated 3 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Eliza plugins for creating role-based agents on FXN☆13Dec 13, 2024Updated last year
- ☆11Jul 1, 2025Updated 8 months ago
- Fine tune a pixelart diffusion model with isometric dataset.☆13Feb 8, 2026Updated 3 weeks ago
- LEC - Logic Equivalence Checking - Formal Verification☆32Feb 23, 2026Updated last week
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- 3D Open World using threejs and ammojs☆14Mar 23, 2024Updated last year
- ☆17Dec 16, 2024Updated last year
- RTLMeter benchmark suite☆29Feb 24, 2026Updated last week