Type: User
Company: WorksHub, link to job board below
Bio: Functional Programming Advocate @ WorksHub- helping the Functional Programming Community find jobs at tech-first companies utilizing the #FP Paradym
Location: NYC, NY
Blog: http://bit.ly/35n1TgV
cmfw1341's Projects
The Rust Programming Language
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
The repository for the Functional Scala workshop.
Haskell bindings for TensorFlow
Convert Haskell source code to Coq source code
Erlang Backend for Idris Compiler
OCaml DSL for verifiable computation