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
A library for studying primitive recursive functions with Kotlin.
An interactive Kotlin editor for the REFUNK library.
Implementation of a pow, using recursive primitive function in Java.
The purpose of this programming lab is to implement five primitive recursive functions using the data type Nat and the recursor recNat in Haskell.
Laboratory work of Theory of computational processes in Saint Petersburg State University of Aerospace Instrumentation.
Collection of C++ implementations on computation theory and formal languages. Includes a Pushdown Automaton, a Deterministic Turing Machine simulator (with multi-tape support), and a Recursive Primitive Functions evaluator.
Mu-Recursive Functions implementation in Python
To associate your repository with the primitive-recursive-functions topic, visit your repo's landing page and select "manage topics."