primitive-recursive-functions
There are 8 repositories under primitive-recursive-functions topic.
coq-community/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
DerYeger/refunk
A library for studying primitive recursive functions with Kotlin.
DerYeger/refunk-playground
An interactive Kotlin editor for the REFUNK library.
jcolag/Prim
The Prim programming language, based on the set of Primitive Recursive functions
AS-Galkin/Multiplication-of-adjective-function
Laboratory work of Theory of computational processes in Saint Petersburg State University of Aerospace Instrumentation.
CristianAbrante/PrimitiveRecursiveFunctions
Implementation of a pow, using recursive primitive function in Java.
jfioasd/mu4
An esolang based on μ6