Hello, Here is a new package for Confluence: a functional programming language for reactive system design including digital logic (IC/ASIC/FPGA) and hard real-time software. From a high level description, Confluence compiles down to Verilog, VHDL, and C. It also has links to open-source formal verification tools. I would recommend dev-lang/confluence. Confluence depends on Objective Caml (dev-lang/ocaml). Thanks! -Tom
Created attachment 34998 [details] confluence-0.9.1_rc1.ebuild (New Package)
I commited 0.9.1 to CVS, thanks for the ebuild.