Popr

Popr is a concatenative language with a powerful module system designed for extensive static inference via supercompilation. The compiler, PoprC, targets both C (without any runtime or GC) and Verilog, for use on an FPGA.

For example, the familiar Fibonacci function:

fib: [dup 1 <= !] [dup 1- dup 1- fib swap fib + swap 1 > !] | pushl head

can be compiled to Verilog and synthesized for an FPGA or simulated:

Tutorial: http://hackerfoo.com/posts/popr-tutorial-0-dot-machines.html

Online REPL: http://hackerfoo.com/eval.html

GitHub: https://github.com/HackerFoo/poprc