peano
Here are 16 public repositories matching this topic...
Logic Programming in Prolog
-
Updated
Feb 21, 2023 - Prolog
A calculator using Peano arithmetic, implemented in Scala.
-
Updated
May 30, 2019 - Scala
The objetive is to do a iteractive method of learn about space filling curves and recursive language Lindenmayer Systems
-
Updated
Apr 23, 2023 - Python
Dilbert, Hilbert, Peano or another space-filling curve.
-
Updated
Jul 7, 2017 - C++
Generic stuff written in Rust
-
Updated
Mar 20, 2020 - Rust
Cache Oblivious Algorithms
-
Updated
Sep 20, 2023 - C++
The Peano Curve coded in P5JS
-
Updated
Jun 12, 2024 - JavaScript
Recursive Peano—Gosper curve rendering using Java Swing
-
Updated
Sep 12, 2021 - Java
My solutions to the Natural Number Game, by Kevin Buzzard and Mohammad Pedramfar.
-
Updated
Dec 10, 2020 - Lean
Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types
-
Updated
Nov 21, 2020 - TypeScript
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.
-
Updated
Dec 12, 2021
Go package for mapping values to and from space-filling curves, such as Hilbert and Peano curves.
-
Updated
Sep 21, 2022 - Go
Improve this page
Add a description, image, and links to the peano topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the peano topic, visit your repo's landing page and select "manage topics."