Brainfuck Interpreter

The project was built with Idris 2, version 0.3.0.

Building and Running

Idris package file is used in this project and will output interpret executable in the current project directory by running

idris2 --build brainfuck.ipkg

Running a program

echo "++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.+++++++..+++.>>.<-.<.+++.------.--------.>>+.>++." > prog && ./interpret prog

Included Examples

./interpret brainfuck/hello.bf        # Hello World!
./interpret brainfuck/fibonacci.bf    # Infinite Fibonacci sequence. Has to be terminated! :D
./interpret brainfuck/factorial.bf    # Infinite Factorial sequence. Has to be terminated! :D
./interpret brainfuck/reverse.bf      # Gets string from input and reverses it after pressing ENTER