Hi! I was recently invited here, so I will introduce myself. My name is Dusty DeWeese (HackerFoo), and I made this: https://popr.dev Popr is a high level pure lazy language based on linear logic. PoprC is the GPLv3 licensed open source compiler for Popr that compiles to C or Verilog. You can try it here: https://eval.popr.dev Try:

:cv fib

to see Verilog which implements the Fibonacci function. (This version intentionally uses a stack unlike the more efficient

fibl

.) Here's a project that connects PoprC-generated hardware via AXI to PCIe on a NiteFury board: https://github.com/HackerFoo/nitefury-popr To learn more about the language, see: https://hackerfoo.com/posts/popr-tutorial-0-dot-machines.html I'm currently taking a break from Popr to work on a 3D solid modeling app released for iOS called Noumenal: https://noumenal.app