https://github.com/deryeger/refunk-playground

An interactive Kotlin editor for the REFUNK library.
https://github.com/deryeger/refunk-playground

computability computability-theory kotlin math math-library primitive-recursive-functions recursion recursive-functions

Last synced: about 1 month ago
JSON representation

An interactive Kotlin editor for the REFUNK library.

• Host: GitHub
• URL: https://github.com/deryeger/refunk-playground
• Owner: DerYeger
• License: mit
• Created: 2021-05-04T10:03:38.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2022-07-24T06:50:36.000Z (over 3 years ago)
• Last Synced: 2025-06-02T18:35:43.689Z (6 months ago)
• Topics: computability, computability-theory, kotlin, math, math-library, primitive-recursive-functions, recursion, recursive-functions
• Language: HTML
• Homepage: https://refunk.yeger.eu
• Size: 365 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          


**_REFUNK_ Playground** is an interactive Kotlin editor for the [**_REFUNK_** library](https://github.com/DerYeger/refunk).\

It is hosted with GitHub Pages at https://refunk.janmueller.dev.