christianp / aperiodic-monotileView external linksLinks
Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats
☆226Oct 17, 2025Updated 3 months ago
Alternatives and similar repositories for aperiodic-monotile
Users that are interested in aperiodic-monotile are comparing it to the libraries listed below
Sorting:
- implementation of OEIS sequences☆11Nov 30, 2016Updated 9 years ago
- The Ray Tracer Challenge book solutions in Ocaml☆13Mar 23, 2021Updated 4 years ago
- Provides a selection of 12 logic gates that you can interconnect with patch cables to make a variety of different logic circuits.☆10May 5, 2024Updated last year
- Exploring the Klein Quartic's geometry.☆28Dec 12, 2023Updated 2 years ago
- Simple MicroPython plotting package☆25Mar 23, 2021Updated 4 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 1, 2026Updated 2 weeks ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Various sketches for pen plotters, and my notes related to pen plotters.☆16Nov 19, 2025Updated 2 months ago
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago
- some resources☆14Oct 5, 2023Updated 2 years ago
- A Toy for Visualizing Coxeter Polytopes☆44Sep 17, 2021Updated 4 years ago
- Digital Audio Funstation☆14Feb 7, 2026Updated last week
- M.Sc. thesis: Cellular Automata + NeuroEvolution of Augmenting Topologies☆15Jan 12, 2018Updated 8 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Just a little playground, to test and try the benefits of Running Calculations on CPU or GPU with multiple threads.☆16Dec 25, 2022Updated 3 years ago
- A word guessing game for the Nintendo Game Boy☆17Mar 28, 2022Updated 3 years ago
- Deposited packages of the homalg project☆17Dec 23, 2025Updated last month
- BLAS for Rust☆16May 12, 2020Updated 5 years ago
- ☆17Jul 26, 2020Updated 5 years ago
- Riemann Hypothesis book☆74Nov 24, 2017Updated 8 years ago
- Cut-and-project tiling generator.☆62Feb 15, 2023Updated 3 years ago
- 🚀 Sum of the primes below x☆39Jun 17, 2022Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆21Jul 25, 2022Updated 3 years ago
- An OCaml clustering library☆20Apr 26, 2021Updated 4 years ago
- ☆16Dec 9, 2020Updated 5 years ago
- Course materials for Aircraft Dynamics (ASEN 3728) at CU Boulder☆14May 2, 2025Updated 9 months ago
- This is the official Issue tracker for the Archangel 2.4.3 realm https://www.wow-one.com☆78Nov 18, 2016Updated 9 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆44Mar 19, 2024Updated last year
- OCaml library to reuse Cairo-based drawing code in browser☆18May 2, 2019Updated 6 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated 9 months ago
- Provides a helper to inline JS/CSS in Middleman for performance.☆18Apr 25, 2017Updated 8 years ago
- Helper crate to make TLS with warp easy using lets-encrypt☆20Aug 16, 2025Updated 6 months ago
- Pikku - Raspberry Pi Pico Powered Macropad☆23Feb 8, 2026Updated last week
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- cubiti is a toy Fediverse server written in Node.js☆18Dec 21, 2022Updated 3 years ago
- A database app for ring theory☆22Feb 3, 2026Updated last week
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Feb 4, 2026Updated last week
- View your Mastodon archive offline☆26Oct 28, 2022Updated 3 years ago
- Extract and visualize airport data (ex: runway geocoordinates) from OpenStreetMap with Python tools☆27Nov 16, 2021Updated 4 years ago