primitive-recursive-functions

There are 0 repository 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]
coq hydra-battles ordinal-notations formal-proofs primitive-recursive-functions discrete-mathematics coq-nix-toolbox docker-coq-action
Language:Coq 60
vedgar / izr
computability-theory turing-machine primitive-recursive-functions recursive-functions smn risc-architecture-processor decidability enumerator metaprogramming reductions macro-processor
Language:TeX 5
refunk
DerYeger / refunk
A library for studying primitive recursive functions with Kotlin.
kotlin primitive-recursive-functions recursive-functions recursion computability-theory computability math-library math
Language:Kotlin 2
refunk-playground
DerYeger / refunk-playground
An interactive Kotlin editor for the REFUNK library.
kotlin math recursion recursive-functions math-library primitive-recursive-functions computability-theory computability
Language:HTML 2
jcolag / Prim
The Prim programming language, based on the set of Primitive Recursive functions
primitive-recursive-functions language interpreter toy-language
Language:Bison 2
AS-Galkin / Multiplication-of-adjective-function
Laboratory work of Theory of computational processes in Saint Petersburg State University of Aerospace Instrumentation.
primitive-recursive-functions recursion
Language:Swift 0
CristianAbrante / PrimitiveRecursiveFunctions
Implementation of a pow, using recursive primitive function in Java.
recursive-functions primitive-recursive-functions computational-complexity
Language:Java
jfioasd / mu4
An esolang based on μ6
esolang primitive-recursive-functions python-3
Language:Python