#
primitive-recursive-functions
Here are
8 public repositories
matching this topic...
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran ]
The Prim programming language, based on the set of Primitive Recursive functions
Updated
Mar 22, 2015
Bison
A library for studying primitive recursive functions with Kotlin.
Updated
May 10, 2021
Kotlin
An interactive Kotlin editor for the REFUNK library.
Updated
Jul 24, 2022
HTML
Laboratory work of Theory of computational processes in Saint Petersburg State University of Aerospace Instrumentation.
Updated
Sep 7, 2020
Swift
Updated
Sep 16, 2023
Python
Implementation of a pow, using recursive primitive function in Java.
Improve this page
Add a description, image, and links to the
primitive-recursive-functions
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
primitive-recursive-functions
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.