Technology moves fast! ⚡ Don't get left behind.🚶 Subscribe to our mailing list to keep up with latest and greatest in open source projects! 🏆


Subscribe to our mailing list

Brainfuck

A Brainfuck interpreter written in Agda

Subscribe to updates I use Brainfuck


Statistics on Brainfuck

Number of watchers on Github 27
Number of open issues 0
Average time to close an issue 1 day
Main language Agda
Open pull requests 1+
Closed pull requests 0+
Last commit about 3 years ago
Repo Created about 6 years ago
Repo Last Updated over 1 year ago
Size 4 KB
Organization / Authorwouter-swierstra
Contributors1
Page Updated
Do you use Brainfuck? Leave a review!
View Brainfuck activity
View on github
Fresh, new opensource launches 🚀🚀🚀
Trendy new open source projects in your inbox! View examples

Subscribe to our mailing list

Evaluating Brainfuck for your project? Score Explanation
Commits Score (?)
Issues & PR Score (?)

Brainfuck

A Brainfuck interpreter written in Agda

The heart of the interpreter is a run function that, given a Brainfuck program and the stream of characters entered via stdin, produces a (possibly infinite) execution trace.

This program demonstrates how a total language, such as Agda, can still be Turing complete the run function assigns semantics to any Brainfuck program, even those that do not terminate. The key insight (which is not particularly novel) is that (productive) coinductive programs are total and sufficient to simulate Turing machines. For a more precise definition of 'total', I'd refer to David Turner's work.

Brainfuck open pull requests (View All Pulls)
  • Update for Agda 2.5.1
Brainfuck questions on Stackoverflow (View All Questions)
  • Making an if(x==y) statement in Brainfuck
  • Brainfuck challenge
  • Print text multiple times in Brainfuck
  • How does the Brainfuck Hello World actually work?
  • Port dos2unix to brainfuck
  • Brainfuck interpreter in c printing trouble
  • Fastest brainfuck interpreter?
  • Brainfuck. How check on palindrome?
  • Code for multiplying two one digit numbers in Brainfuck
  • What is wrong with my beginner Brainfuck addition program?
  • Hello, World! in Brainfuck
  • BrainFuck implementation problems:
  • Detecting infinite loop in brainfuck program
  • Sum of number in brainfuck
  • What's wrong with brainfuck on ideone?
  • Divmod algorithm in brainfuck
  • How to calculate the sum of 2 numbers with BrainFuck
  • Why do I get a Perl error in this brainfuck program?
  • Regex for brainfuck loops
  • How to write a "comment" containing a period (.) in Brainfuck?
  • Brainfuck interpreter in Nimrod
  • Memory Index in Brainfuck Language
  • Creating a Brainfuck parser, whats the best method of parsing loop operators?
  • What's wrong with my brainfuck parser code?
  • Brainfuck interpreter misbehaving
  • Brainfuck compare 2 numbers as greater than or less than
  • Turing-completeness of a modified version of Brainfuck
  • "Access is denied" error when running brainfuck interpreter from cmd
  • Extracting brainfuck code from HTML
  • Print characters in brainfuck
Brainfuck list of languages used
Other projects in Agda