GLUT Kleinian group visualizer
☆30Mar 5, 2014Updated 12 years ago
Alternatives and similar repositories for kleinian
Users that are interested in kleinian are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for visualizing spherical, euclidean, and hyperbolic honeycombs in various ways☆51Mar 16, 2026Updated 7 months ago
- Export Blender (2.4x) curves to TikZ format for use with TeX☆13Apr 18, 2014Updated 12 years ago
- Various simulations of random processes☆14Mar 3, 2026Updated 8 months ago
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆11May 18, 2025Updated last year
- lyapunov fat fractals haxe prodecure☆14Nov 8, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Various fractal scripts☆36Mar 13, 2015Updated 11 years ago
- ☆40Sep 27, 2026Updated last month
- Collection of raymarching 3D fractals for OSX using Swift and Metal☆21Aug 19, 2020Updated 6 years ago
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- Circle pack software☆23Aug 17, 2012Updated 14 years ago
- Verified Lean typechecker☆16Updated this week
- Implementation of Knuth's dancing links algorithm☆12Dec 28, 2024Updated last year
- a web page / paper☆18Sep 2, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Python package to convert LaTeX markup to DOM☆16Oct 15, 2026Updated 2 weeks ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆68Jan 2, 2024Updated 2 years ago
- publish-paper staged copy☆26Oct 26, 2026Updated last week
- A stand-alone viewer for Tom Beddard's GLSL Mandelbulb ray tracer☆20Mar 27, 2011Updated 15 years ago
- You can download wolfram mathematica here☆11Jul 30, 2022Updated 4 years ago
- ☆35Oct 8, 2026Updated 3 weeks ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆26Jul 27, 2026Updated 3 months ago
- Lean 4 formalization of Knuth's 'Claude's Cycles' paper☆17Aug 26, 2026Updated 2 months ago
- Exploring Möbius transformations and implementing the book Indra's Pearls☆46Jul 17, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated 2 years ago
- abbreviator creates a TextExpander out of a list of words.☆14May 22, 2012Updated 14 years ago
- Analytic Number Theory high-precision GnuMP routines☆20Feb 3, 2024Updated 2 years ago
- BNG Image Format Implementation☆12Sep 19, 2020Updated 6 years ago
- 2D & 3D Jump Flooding Algorithm and 2D Centroidal Voronoi Tessellation based on taichi☆11Nov 30, 2020Updated 5 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Oct 29, 2021Updated 5 years ago
- A twitter bot for 2-dimensional tilings, @TilingBot☆44Mar 18, 2026Updated 7 months ago
- Processing source code for an animation☆10Jan 28, 2022Updated 4 years ago
- Command-line utility to return Zotero record field values given a Zotero select link, an item key, or even just a file attachment☆10Dec 23, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Raytracing 3D Fractals via OpenCL☆13Nov 14, 2017Updated 8 years ago
- Coxeter is a library for the study of combinatorial aspects of Coxeter group theory☆12Jun 11, 2026Updated 4 months ago
- How to say it using Mathlib.☆21Updated this week
- Adaptive sampling of parametric and implicit curves☆13Nov 12, 2021Updated 4 years ago
- This project aims at creating colorful art by using iterative tessellation. Each scene is completely random and supports infinite zooming…☆13Jun 11, 2023Updated 3 years ago
- WebGL Electric Sheep Renderer☆24Aug 4, 2017Updated 9 years ago
- A small editor which prevents any writers block. If you do not type GPT-3 will do it for you.☆12Jun 22, 2022Updated 4 years ago