Projects in Awesome Lists tagged with computability
A curated list of projects in awesome lists tagged with computability .
https://github.com/slovnicki/pLam
An interpreter for learning and exploring pure λ-calculus
church church-encoding computability computability-theory functional-programming interpreter lambda lambda-calculus language logic-programming numeral-systems programming-language
Last synced: 06 May 2025
https://github.com/slovnicki/plam
An interpreter for learning and exploring pure λ-calculus
church church-encoding computability computability-theory functional-programming interpreter lambda lambda-calculus language logic-programming numeral-systems programming-language
Last synced: 06 Apr 2025
https://github.com/shilangyu/ram-runner
A simple interpreter for the mathematical random-access machine
computability ram random-access-machine
Last synced: 19 Apr 2025
https://github.com/tensorush/musings
🌌 My journal documenting the computational nature of the Universe.
anecdotes bach computability computation computational-universe diary donald-knuth joscha-bach knuth my notes personal-dump quantum-computing quotes stephen-wolfram universal-computation universe wolfram
Last synced: 21 Jan 2026
https://github.com/deryeger/refunk
A library for studying primitive recursive functions with Kotlin.
computability computability-theory kotlin math math-library primitive-recursive-functions recursion recursive-functions
Last synced: 03 Apr 2025
https://github.com/deryeger/refunk-playground
An interactive Kotlin editor for the REFUNK library.
computability computability-theory kotlin math math-library primitive-recursive-functions recursion recursive-functions
Last synced: 13 Oct 2025
https://github.com/onurmx/pi
Calculating digits of pi with arbitrary size and find pattern inside.
algorithms approximation approximation-algorithms arbitrary-precision billion billions chudnovsky computability gmp high-performance-computing knuth-morris-pratt million mpf mpir mpz pattern pattern-finding pi
Last synced: 12 Mar 2025
https://github.com/simplyprogrammer/ram4cpp
RAM emulator utilizing C++ language modification that utilizes a preprocessor allowing you to use Random Access Machine instructions in C++ which essentially makes it a RAM emulator...
c computability cpp domain-specific-language emulator fast lightweight low-level preprocessor ram random-access-machine simple-to-use simulator
Last synced: 27 Mar 2025
