Dear Jocelyn,

I have reviewed your work and this is quite impressive. I am including your technology as part of a grant proposal I'm writing which is about designing an AGI chip. Great work, thank you. Please keep us updated about developments in CAPH. I wanted something exactly like this because the codebase is in OCaml. I am going to try to see if I can extend this with my own verilog primitives for other apps than stream processing. EE people don't really understand the importance of PL technology, so believe it or not, they use stuff like Perl scripts to do the same thing. This is of course, a far superior approach.

Best Regards,

Eray

On Sun, Jul 23, 2017 at 12:52 PM, Jocelyn Sérot <Jocelyn.SEROT@univ-bpclermont.fr> wrote:

Dear Ocaml users,

It is my pleasure to announce the latest release (2.8.3) of CAPH, a domain-specific language relying on the dataflow model of computation for describing and implementing stream-processing applications. CAPH can simulate dataflow programs, generate cycle-accurate SystemC and synthetizable VHDL code for implementation on reconfigurable hardware such as FPGAs.

CAPH has a strong functional inspiration : dataflow networks are described using a purely functional, higher-order formalism and the definition of actor behavior relies on a pattern matching similar to that used for defining functions in functional languages. CAPH is also equipped with a rich type system with sized-integers, booleans, floats, fully polymorphic algebraic data types and dependent types.

And, of course, CAPH is entirely written in OCaml ;)

Documentation, examples and release (both source code and pre-compiled binary version for Windows and MacOS) can be found here :

http://caph.univ-bpclermont.fr/CAPH/CAPH.html

Cheers

JS

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Eray Ozkural, PhD. Computer Scientist
Founder, Gok Us Sibernetik Ar&Ge Ltd.
http://log.examachine.net http://github.com/examachine http://groups.yahoo.com/group/ai-philosophy