A Toy for Visualizing Coxeter Polytopes
☆44Sep 17, 2021Updated 4 years ago
Alternatives and similar repositories for jenn3d
Users that are interested in jenn3d are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Mar 15, 2023Updated 3 years ago
- See https://github.com/sagemathinc/smc instead!☆22Mar 7, 2019Updated 7 years ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆12Dec 28, 2023Updated 2 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- A free collection of templates for badge creation along with the principles of badge design.☆17Jan 25, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- small script to validate a CityGML file against the XSD schemas of CityGML (all versions supported)☆14Sep 11, 2023Updated 2 years ago
- A Sage interface for FGb (Gröbner basis computations)☆38Feb 1, 2026Updated last month
- ☆36Updated this week
- Successor to PolyBoRi☆23Oct 1, 2025Updated 5 months ago
- Exploring Möbius transformations and implementing the book Indra's Pearls☆42Apr 22, 2024Updated last year
- Message-Passing-Interface (MPI) based stl/obj to signed-distance-field (SDF) converter written in Python for Cartesian grids☆14Jun 27, 2024Updated last year
- ☆11Sep 7, 2020Updated 5 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Deposited packages of the homalg project☆17Feb 24, 2026Updated last month
- 2D & 3D Jump Flooding Algorithm and 2D Centroidal Voronoi Tessellation based on taichi☆11Nov 30, 2020Updated 5 years ago
- Visualising straight lines (geodesics) on the pseudosphere and related geometries.☆14Jun 19, 2023Updated 2 years ago
- Blog for the Open Institute for Advanced Study☆10Oct 30, 2020Updated 5 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- C/C++ Programming☆11May 7, 2024Updated last year
- ☆13Jun 11, 2025Updated 9 months ago
- Collection of examples to get started with CoCalc☆47Jul 6, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Python script for generating tilings of the weakly chiral aperiodic monotile Tile(1,1) "Spectre".☆19Feb 12, 2024Updated 2 years ago
- Messing with Taichi voxel challenge renderer in order to "learn" some python and Taichi☆17Jun 15, 2022Updated 3 years ago
- Various simulations of random processes☆14Mar 3, 2026Updated 3 weeks ago
- Context Free Art examples☆13Nov 1, 2014Updated 11 years ago
- ☆13Feb 12, 2022Updated 4 years ago
- Simple esp32 bluetooth keyboard with diodes. The firmware was made for this keyboard: https://youtu.be/j5VzlZ-F2JQ Here are the 3D file…☆14Dec 5, 2022Updated 3 years ago
- Matlab package for circle packing☆19Nov 6, 2023Updated 2 years ago
- Copy Breadcrumbs plugin for Visual Studio Code. Based on Scott Blair's extension.☆12Feb 3, 2025Updated last year
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 7 years ago
- the cornell box raymarched in GLSL, for tests☆15Apr 5, 2015Updated 10 years ago
- Boost.org logic module☆12Mar 11, 2026Updated 2 weeks ago
- ☆10Nov 14, 2018Updated 7 years ago
- Digital Ocean Tutorials 上一些文章的翻译，主要为运维相关。https://www.digitalocean.com/community/tutorials☆12Jun 6, 2016Updated 9 years ago
- Maze algorithms implemented in JavaScript - many maze generators and tiling patterns☆16Oct 2, 2022Updated 3 years ago