Top Senior Idris Developers - Nov 2017

Software Engineer at Facebook

Software engineer with passion for algorithms and programming competitions.

Really nice person who wants you to succeed

I have several years of professional programming experience in a variety languages. My teaching efforts are currently focused on typed functional programming. Most of my teaching experience is using Haskell, OCaml, or Idris; but if it has a type system, it's likely I can help :)

Need to Hire a SeniorIdrisDeveloper?

Get Started

Are You anIdris Developer?

Get paid while making an impact. Become a Codementor for the next wave of makers.

Apply as a Developer
View the latestfreelance Idris jobs

CodementorX saved me a lot of time by sending a shortlist of qualified developers within 72 hours. On top of that, payment through CodementorX was secure and communication was easy. I was extremely satisfied with the engagement!

David Lasry
Creator of PlayZik

As a marketplace and 500 Startups company ourselves, we were happy to give CodementorX’s platform a go when we needed developers with specialized skillsets. They did not disappoint and allowed us to find qualified devs painlessly.

Itamar Yunger
Founder of Soundbetter

Besides having access to highly talented and experienced web developers, CodementorX's project management service also help manage timeliness and bridge communication between the founders and the web developers. This is extremely helpful and valuable, especially for non-technical founders like myself.

Jodie Lee
Founder of PerfectSpot

CodementorX is a freelance hiring platform uniquely different from other platforms. Freelancers on Codementor function as mentors to less experienced coders, who collectively help curate a list of the most elite mentors. When hiring through CodementorX, I know I’m hiring the best.

Guy Jack
Founder & CEO of FNDRZ