Hire Freelancers

functional programming expert needed

$10-30 USD

Closed

Posted

about 3 years ago

$10-30 USD

Paid on delivery

functional programming language COQ Programming Language expert needed for task Coq is an interactive theorem prover I need for task contact me if you can do deadline 2 days or less proof assistant task

C++ Programming

Computer Science

Project ID: 29424756

About the project

2 proposals

Remote project

Active 3 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

2 freelancers are bidding on average $30 USD for this job

Flag of VIETNAM

Hi, I'm Thanh. I have 3 years of experience in haskell programming. - Description Job current : + Refractoring XPath using Haskell as the principal programing language for developing the compiler. From there, find the best command to get important data. (Infer-Xpath)

$30 USD in 2 days

5.0

(3 reviews)

4.0

4.0

Flag of UNITED STATES

Hi there, I'm an expert in functional programming and design patterns. I'm adapting functional programming to all my major languages - Python, TypeScript, Scheme, etc. I've also worked with Haskell a little when I was studying MS course. I'd like to discuss more details. Kind regards, Bhavya

$30 USD in 1 day

0.0

(0 reviews)

0.0

0.0

Post a project like this

About the client

Flag of UNITED STATES

Somerville, United States

4.4

11

Payment method verified

Member since Jul 14, 2018

Client Verification

Other jobs from this client

Write an Assembler and Simulator That runs on raspberry pi

Engineering project management tasks

finding prime java

NEED ASSEMBLY LANGUAGE PROGRAMMER

AWS database move help

Similar jobs

Cryptocurrency Blockchain Developer Needed

Networking and Programming (Electronics and Electrical Engineer)..

Optimization Introduction

Speedrun Expert Needed for Warframe Mission

Assistance with USDT Flashing Software

₹12500-37500 INR

Basic QT Plot Creation

Hardware-Based Software Licensing Development

Networking and Programming. (Electronics and Electrical Engineer).

Midas M32R Live Sound Setup

£10-15 GBP / hour

FPGA-Based Object Detection & Live Streaming System

Bespoke Music Streaming Site Creation

I'm looking for a Ninjatrader 8

Networking and Programming,(Electronics and Electrical Engineer).

Airflow Simulation Software Development

Roblox Script Hub Development -- 2

Python Programmer to update & Automate the Trade

₹600-1500 INR

Starve.io PC Cheat Engine Development

Vedic Astrology Planetary Positioning in Excel

₹1500-10000 INR

Networking and Programming,(Electronics and Electrical Engineer)..

AFL to Pine Script Conversion Expert

₹600-1500 INR

Post a project like this

Thanks! We’ve emailed you a link to claim your free credit.

Something went wrong while sending your email. Please try again.

Loading preview

Permission granted for Geolocation.

Your login session has expired and you have been logged out. Please log in again.