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]
Language:Coq69 9 2512
vedgar/izr
Language:TeX5 4 01
DerYeger/refunk
A library for studying primitive recursive functions with Kotlin.
Language:Kotlin2 3 9
DerYeger/refunk-playground
An interactive Kotlin editor for the REFUNK library.
Language:HTML2 3 0
jcolag/Prim
The Prim programming language, based on the set of Primitive Recursive functions
Language:Bison2
AS-Galkin/Multiplication-of-adjective-function
Laboratory work of Theory of computational processes in Saint Petersburg State University of Aerospace Instrumentation.
Language:Swift0 1 00
CristianAbrante/PrimitiveRecursiveFunctions
Implementation of a pow, using recursive primitive function in Java.
Language:Java1 0
jfioasd/mu4
An esolang based on μ6
Language:Python1 0