Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: peano
google/hilbert 📦
Go package for mapping values to and from space-filling curves, such as Hilbert and Peano curves.
Language: Go - Size: 1.41 MB - Last synced: 30 days ago - Pushed: over 1 year ago - Stars: 278 - Forks: 41
KonstantinosKr/delta
A rigid body contact dynamics DEM simulator for non-spherical particles.
Language: C++ - Size: 142 MB - Last synced: 9 months ago - Pushed: over 1 year ago - Stars: 5 - Forks: 0
0razzu/Peano-Gosper-curve 📦
Recursive Peano—Gosper curve rendering using Java Swing
Language: Java - Size: 2.93 KB - Last synced: 11 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0
adyavanapalli/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.
Size: 23.4 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 8 - Forks: 6
nicholaspun/natural-number-game-solutions
My solutions to the Natural Number Game, by Kevin Buzzard and Mohammad Pedramfar.
Language: Lean - Size: 13.7 KB - Last synced: over 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 1
pl3onasm/Logic-programming
Logic Programming in Prolog
Language: Prolog - Size: 4.58 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
fwcd/tylude
Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types
Language: TypeScript - Size: 16.6 KB - Last synced: over 1 year ago - Pushed: over 3 years ago - Stars: 4 - Forks: 0
johnnyawesome/PeanoCurve
The Peano Curve coded in P5JS
Language: JavaScript - Size: 1.09 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0
azazak123/peano
Peano number types
Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
thigs0/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 - Size: 28.2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
wg-romank/peano
Playing around with inductive proofs in Rust
Language: Makefile - Size: 1.2 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1
tarun360/Cache-Oblivious-Algorithms
Cache Oblivious Algorithms
Language: C++ - Size: 6.28 MB - Last synced: over 1 year ago - Pushed: about 4 years ago - Stars: 2 - Forks: 1
benjamindkilleen/peano
A calculator using Peano arithmetic, implemented in Scala.
Language: Scala - Size: 163 KB - Last synced: over 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
ljedrz/rust-misc
Generic stuff written in Rust
Language: Rust - Size: 51.8 KB - Last synced: over 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0
furuhama/peano
Basic Math in Rust
Language: Rust - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
svenk/dilbert
Dilbert, Hilbert, Peano or another space-filling curve.
Language: C++ - Size: 83 KB - Last synced: 4 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
