Conformally map the hyperbolic plane to arbitrary shapes.
☆65Jan 2, 2024Updated 2 years ago
Alternatives and similar repositories for newconformist
Users that are interested in newconformist are comparing it to the libraries listed below
Sorting:
- Visualising straight lines (geodesics) on the pseudosphere and related geometries.☆14Jun 19, 2023Updated 2 years ago
- A twitter bot for 2-dimensional tilings, @TilingBot☆44Dec 12, 2025Updated 2 months ago
- Build scripts for the server☆11Nov 30, 2025Updated 3 months ago
- Python script for generating tilings of the weakly chiral aperiodic monotile Tile(1,1) "Spectre".☆19Feb 12, 2024Updated 2 years ago
- Code for paper “How2Sketch: generating easy-to-follow tutorials for sketching 3D objects.” I3D (2017)☆38Mar 28, 2017Updated 8 years ago
- RWA recurrent neural networks☆17Apr 14, 2017Updated 8 years ago
- Experiments with Polytopes☆24Feb 24, 2020Updated 6 years ago
- Deep Deterministic Policy Gradient with WebGL and CUDA☆25Jun 30, 2018Updated 7 years ago
- Advent of Code 2020 solutions in Lean 4☆27Jan 5, 2021Updated 5 years ago
- Implementation of "A Simple and Correct Even-Odd Algorithm for the Point-in-Polygon Problem for Complex Polygons"☆36Mar 29, 2017Updated 8 years ago
- A post processing extension for Three.js☆43Oct 6, 2011Updated 14 years ago
- Formalized quantum computing in Lean theorem prover☆34Mar 6, 2021Updated 5 years ago
- ipole (master, originally published), ipole-v2.0 (v2.0 is more compact with additional features). This is the original repository for the…☆14May 6, 2021Updated 4 years ago
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 5 years ago
- Repository for Robust Trajectory Optimization with Stochastic Complementarity☆12Dec 15, 2020Updated 5 years ago
- What happens when you connect all the ZIP/postal codes in a country in ascending order?☆13Updated this week
- Gazetteer of the Ancient Near East Data☆10Aug 1, 2013Updated 12 years ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 9 months ago
- Formalization of the existence of sphere eversions☆47Feb 18, 2026Updated 2 weeks ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- ☆13Apr 11, 2023Updated 2 years ago
- ☆10Apr 30, 2024Updated last year
- Low level C++11 RAII wrapper classes for the Vulkan API. The code is auto generated by RAIIGen.☆12Aug 22, 2025Updated 6 months ago
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 8 months ago
- A Simple Sudoku Solver☆23Nov 26, 2012Updated 13 years ago
- RSSI-based OFDM signal classification using a machine learning algorithm.☆12May 15, 2018Updated 7 years ago
- Pixelracer!☆10Nov 21, 2016Updated 9 years ago
- Mandelbrot fractal visualizer featuring perturbation based iteration methods, series approximation and multithreading.☆43Nov 20, 2022Updated 3 years ago
- ☆10May 2, 2025Updated 10 months ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- Pimatic Plugin for Johnny Five, a Robotics and IoT programming framework - http://johnny-five.io☆10Mar 26, 2019Updated 6 years ago
- potrace in javascript☆67Aug 18, 2012Updated 13 years ago
- ☆13Oct 10, 2019Updated 6 years ago
- Реестр пользовательских скриптов для Клавогонок☆15Apr 15, 2023Updated 2 years ago
- An intuitive visualization of vector fields.☆11Dec 16, 2022Updated 3 years ago
- Collection of references to live coding and coded music☆10Feb 9, 2019Updated 7 years ago
- DEPRECATED in favor of macroquad::ui☆38Mar 11, 2021Updated 4 years ago
- Dynamic mode decomposition in Python☆13Jun 9, 2015Updated 10 years ago