rocq-community /hydra-battles
Kirby和Paris的Hydra战斗和Coq中其他有趣数学的变体（协作、记录、包括练习）[maintainer=@Casteran]
Coq81
primitive-recursive-functions 开源项目推荐（12 个）
primitive-recursive-functions 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
12收录项目
92Star 总量
9覆盖语言
相关标签
热门项目 全部 12
GitHub 共 12 个仓库，已全部展示
vedgar /izr
该项目在 GitHub 上没有填写描述
TeX5
jcolag /Prim
Prim编程语言，基于原始递归函数集合
Bison2
DerYeger /refunk
一个用Kotlin研究原始递归函数的库。
Kotlin2
DerYeger /refunk-playground
一个用于REFUNK库的交互式Kotlin编辑器。
HTML2
CristianAbrante /PrimitiveRecursiveFunctions
在Java中使用递归原始函数实现pow。
Java0
AS-Galkin /Multiplication-of-adjective-function
Laboratory work of Theory of computational processes in Saint Petersburg State University of Aerospace Instrumentation.
Swift0
jfioasd /mu4
An esolang based on μ6
Python0
luismtorresv /prf
The purpose of this programming lab is to implement five primitive recursive functions using the data type Nat and the recursor recNat in Haskell.
Haskell0
paulosergioamorim /learn-haskell
该项目在 GitHub 上没有填写描述
Haskell0
Tikualdo /computational-models
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.
0
paulosergioamorim /general_recursive_functions
Mu-Recursive Functions implementation in Python
Python0
关于这个话题
- 清单取自 GitHub 话题页并按 Star 数排序，每次展示前 12 个项目；原始页面见 https://github.com/topics/primitive-recursive-functions。
- 该话题在 GitHub 上共有 12 个仓库， 本站收录的是其中最热门的 12 个，不是全量列表。
- Star / Fork 每日自动刷新一次，实时数据以 GitHub 为准。
- 当前 12 个项目累计 92 Star，覆盖 9 种主要语言，数据更新于 2026-11-11。
- 中文介绍来自 GitHub 官方话题说明（github/explore）的机器翻译，可点「查看原文」对照；译文缺失时会先展示原文。