Kapalı

functional programming expert needed

Bütçe $10-30 USD

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

Beceriler: C Programlama, C++ Programlama, Haskell, Programlama, Computer Science

Daha fazlasını gör: php expert needed, joomla expert needed, web security expert needed, photoshop expert needed san jose, volusion expert needed, digg expert needed, linux expert needed, mod rewrite expert needed, zen cart expert needed, php web scraping expert needed, j2me expert needed, net graphics expert needed, social networking site programming knowledge needed, clickbank expert needed, solidworks expert needed, c++ programming expert needed, c++ programming expert needed sg, i want to learn java programming language i need help, Programming Expert Needed

İşveren Hakkında:
( 11 değerlendirme ) Somerville, United States

Proje NO: #29424756

Biraz para kazanmak mı istiyorsunuz?

proje Kapalı
Bütçenizi ve Zaman Çerçevenizi Belirleyin
Teklifinizin anahatlarını verin
Çalışmanız için ödeme alın
Kaydolmak ve işlere teklif vermek ücretsizdir

Bu iş için 2 freelancer ortalamada $30 teklif veriyor

Thanhvh2205 adlı kullanıcının Profil Resmi
Thanhvh2205

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 Daha Fazla

$30 USD in 2 gün içinde
(3 Değerlendirme)
4.0
Pythonrider adlı kullanıcının Profil Resmi
Pythonrider

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 Daha Fazla

1 gün içinde %bids___i_sum_sub_32%%project_currencyDetails_sign_sub_33% USD
(0 Değerlendirme)
0.0