Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 16 Dec 2024
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: 13 Nov 2024
https://github.com/shilangyu/ram-runner
A simple interpreter for the mathematical random-access machine
computability ram random-access-machine
Last synced: 17 Oct 2024
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: 06 Nov 2024
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: 16 Dec 2024
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: 16 Dec 2024
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: 17 Nov 2024
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...
computability cpp domain-specific-language emulator fast lightweight preprocessor ram random-access-machine simple-to-use simulator
Last synced: 06 Dec 2024
https://github.com/jiriklepl/ntin090
A repository containing solutions to assignments for MFF/NTIN090
complexity computability mff-uk not-interesting-for-anybody
Last synced: 05 Dec 2024
