peano
There are 0 repository under peano topic.
google / hilbert
Go package for mapping values to and from space-filling curves, such as Hilbert and Peano curves.
Language:Go 278adyavanapalli / natural-number-game-solutions
Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.
fwcd / tylude
Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types
Language:TypeScript 6KonstantinosKr / delta
A rigid body contact dynamics DEM simulator for non-spherical particles.
Language:C++ 5nicholaspun / natural-number-game-solutions
My solutions to the Natural Number Game, by Kevin Buzzard and Mohammad Pedramfar.
Language:Lean 50razzu / Peano-Gosper-curve
Recursive Peano—Gosper curve rendering using Java Swing
Language:Java 2johnnyawesome / PeanoCurve
The Peano Curve coded in P5JS
Language:JavaScript 2tarun360 / Cache-Oblivious-Algorithms
Cache Oblivious Algorithms
Language:C++ 2- Language:Makefile 2
- Language:Rust 1
- Language:Haskell 0
pl3onasm / Logic-programming
Logic Programming in Prolog
Language:Prolog 0thigs0 / space-filling-curves_python
The objetive is to do a iteractive method of learn about space filling curves and recursive language Lindenmayer Systems
Language:Python 0benjamindkilleen / peano
A calculator using Peano arithmetic, implemented in Scala.
Language:Scala- Language:Rust
- Language:C++
