MyNixOS website logo
Description

An optimizing Brainfuck compiler and evaluator.

hbf is a compiler and executor of Brainfuck programs. It provides two executables: hbfc the Brainfuck compiler, and hbf the virtual machine that executes compiled Brainfuck programs.

HBF Build Status Hackage

An unoptimized Brainfuck optimizing compiler and evaluator.

HBF can compile standard Brainfuck code into an optimized Intermediate Representation (IR). This IR can later be executed for faster Brainfuck program evaluation.

Getting Started

Installing

Use your preferred method for installing HBF from Hackage. If you prefer to build from source you can use cabal.

Usage

Let's say you have a Brainfuck program in the file mandelbrot.bf, for example, you can get one here

You can compile the program to the Intermediate Representation using the hbfc executable provided by this project:

hbfc mandelbrot.bf

That will create a file mandelbrot.bfc in the same directory. If you want the output in a different path you cane use --output option to hbfc

Now, you can run the compiled program:

hbf mandelbrot.bfc

and get something like:

Mandelbrot

There are several options to both the compiler and the evaluator, to modify levels of optimization, output and others. Try --help to learn more.

Hacking

HBF has heavily documented code. You can read the documentation on Hackage.

All the optimizations are implemented in the compiler, for an example, you can look at the documentation for mulOpt.

Running the tests

cabal test

Test coverage report for the last build can be found here.

Running the benchmarks

cabal bench

License

This project is licensed under the GPL-3 License - see the LICENSE file for details

Copyright 2018 Sebastian Galkin.

Acknowledgments

This work is based on the excellent project bfoptimization by matslina:

Metadata

Version

0.2.0.0

Platforms (75)

    Darwin
    FreeBSD
    Genode
    GHCJS
    Linux
    MMIXware
    NetBSD
    none
    OpenBSD
    Redox
    Solaris
    WASI
    Windows
Show all
  • aarch64-darwin
  • aarch64-genode
  • aarch64-linux
  • aarch64-netbsd
  • aarch64-none
  • aarch64_be-none
  • arm-none
  • armv5tel-linux
  • armv6l-linux
  • armv6l-netbsd
  • armv6l-none
  • armv7a-darwin
  • armv7a-linux
  • armv7a-netbsd
  • armv7l-linux
  • armv7l-netbsd
  • avr-none
  • i686-cygwin
  • i686-darwin
  • i686-freebsd
  • i686-genode
  • i686-linux
  • i686-netbsd
  • i686-none
  • i686-openbsd
  • i686-windows
  • javascript-ghcjs
  • loongarch64-linux
  • m68k-linux
  • m68k-netbsd
  • m68k-none
  • microblaze-linux
  • microblaze-none
  • microblazeel-linux
  • microblazeel-none
  • mips-linux
  • mips-none
  • mips64-linux
  • mips64-none
  • mips64el-linux
  • mipsel-linux
  • mipsel-netbsd
  • mmix-mmixware
  • msp430-none
  • or1k-none
  • powerpc-netbsd
  • powerpc-none
  • powerpc64-linux
  • powerpc64le-linux
  • powerpcle-none
  • riscv32-linux
  • riscv32-netbsd
  • riscv32-none
  • riscv64-linux
  • riscv64-netbsd
  • riscv64-none
  • rx-none
  • s390-linux
  • s390-none
  • s390x-linux
  • s390x-none
  • vc4-none
  • wasm32-wasi
  • wasm64-wasi
  • x86_64-cygwin
  • x86_64-darwin
  • x86_64-freebsd
  • x86_64-genode
  • x86_64-linux
  • x86_64-netbsd
  • x86_64-none
  • x86_64-openbsd
  • x86_64-redox
  • x86_64-solaris
  • x86_64-windows