The AI Works community logo The Blockchain Works community logo The Functional Works community logo The Golang Works community logo The Java Works community logo The JavaScript Works community logo The Python Works community logo The Remote Works community logo The WorksHub company logo

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get personalised job recommendations!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel 🚀.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through WorksHub average a 15% increase in salary 🚀

You will be redirected back to this page right after signin

Start with GitHubStart with Stack OverflowSignup with EmailLogin with Email
Petr Homola
BSc in physics, MSc in CS, PhD in computational linguistics
Last seen 9 Oct, 2024
phomola
Activity & Stats
WorksHub Rating
Top 1% user
Member Since
Oct 2017
Author Of
2 articles
Open Source Issues
No contributions yet
Skills
C++ - 10+ years
P
Prolog - 10+ years
S
Swift - 5 years
Go - 5 years
Rust - 3 years
I
Idris - 3 years
Current Interests
These are specific technologies that this person is interested right now.
      Julia
      Agda
      Objective-C
      F*
      flutter
      Coq
      Haskell
      OCaml
      lean
Open Source
GitHub contributions
76 commits
Over a total of
16 repositories
Last 4 months productivity
Jul
Aug
Sep
Oct
Mon
Wed
Fri
Articles
Writing Flutter apps in Idris
2 February, 2023•1 min read•4 boosts
Monads in C++ via static polymorphism
2 February, 2021•2 min read•3 boosts
Highest in-demand talent
Hire Software EngineersHire Java DevelopersHire Remote DevelopersHire Blockchain DevelopersHire Data ScientistsHire Functional ProgrammersHire Javascript DevelopersHire Python DevelopersHire Golang Developers
Locations
Hire developers in NYCHire developers in LondonHire developers in San FranciscoHire developers in Berlin
WorksHub
CareersCompaniesSitemapMetricsFunctional WorksBlockchain WorksJavaScript WorksAI WorksGolang WorksJava WorksPython WorksRemote Works
Employers
For employersRegister companyPricing and plansRequest a demoTerms of Service
© 2022 WorksHub
Privacy Policy
Developed by WorksHub