[Caml-list] [ANN] Release 2.8.3 of Caph, a functional/dataflow language for programming FPGAs

[Caml-list] [ANN] Release 2.8.3 of Caph, a functional/dataflow language for programming FPGAs

[Jocelyn Sérot]

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

Re: [Caml-list] [ANN] Release 2.8.3 of Caph, a functional/dataflow language for programming FPGAs

[Eray Ozkural]

[-- Attachment #1: Type: text/plain, Size: 2297 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 3447 bytes --]