primitive-recursive-functions | Topic

Topic: "primitive-recursive-functions"

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

Language: Coq - Size: 20.9 MB - Last synced at: 13 days ago - Pushed at: 5 months ago - Stars: 75 - Forks: 12

Language: TeX - Size: 17.6 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

An interactive Kotlin editor for the REFUNK library.

Language: HTML - Size: 365 KB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

A library for studying primitive recursive functions with Kotlin.

Language: Kotlin - Size: 718 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

The Prim programming language, based on the set of Primitive Recursive functions

Language: Bison - Size: 148 KB - Last synced at: almost 2 years ago - Pushed at: about 10 years ago - Stars: 2 - Forks: 0

An esolang based on μ6

Language: Python - Size: 64.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Implementation of a pow, using recursive primitive function in Java.

Language: Java - Size: 646 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0