Hire the Best
Freelance OCaml developers
Check out freelance OCaml developers on Upwork, with the skills you need for your next job.
- $50 hourly
- 4.8/5
- (18 jobs)
Prolog, Java and C# software engineer (20+ years of experience). I also have some working experience developing low-level code in C and C++. I have strong computer science background, holding a BSc. and MSc. in Computer Science. I am interested in providing consulting and programming services mainly in Prolog language.OCaml
PrologAlgorithm DevelopmentCJavaC#C++ - $90 hourly
- 5.0/5
- (4 jobs)
I am a top rated freelancer with 100% JSS, and I have been working in the software industry for more than 8 years now with experience in Elixir, Go and Rust. I have developed various projects, including online learning platforms and medical applications for different clients using micro services architecture, LiveView, umbrella applications, macros, ecto, mix , Rails, Rspec, React, Vue e.t.c. I have used TDD, BDD and DDD extensively. I am eager to take on challenging roles, and I have an excellent eye for requirements gathering and build things with perfection.OCaml
ReactErlangElixirRESTful APIAPIAngularPhoenixPostgreSQLGraphQLVue.jsSQLJavaScriptRuby on Rails - $60 hourly
- 4.6/5
- (28 jobs)
~~My Current Rating~~ The last client said I refused to deliver the work. Luckily, the project is open source so you can decide for yourself. The short version is that the lead developer failed to specify some of the requirements and then didn't admit to when I prompted him. I didn't want to call him out explicitly to not cast a shadow on the entire project. I can't post links here, but look on gitlab for whitebox-plugin-gps-display. MRs 2 and 5 are relevant. I am a software developer with 14 years of experience. If you look at my project history, you will see I'm a generalist. I've worked on projects involving infrastructure, backend and frontend. So my experience is broad rather than deep. I've used numerous programming languages [Python, TypeScript, Haskell, Elm, PureScript, Lua] just to mention the most significant. I've used the major SQL databases [PostgreSQL, SQLite, MySQL]. I've done infrastructure automation with Docker, Vagrant, Ansible, Terraform, Nix & NixOS. I've used big and small cloud providers: Linode, DigitalOcean, Vultr, Hetzner, AWS, Oracle Cloud. I've built, by myself or in a team, the following deliverables: web scrapers, REST API, classic websites, API integrations, browser extensions, an nginx plugin, a CI system, a transpiler, a CLI tool, infrastructure automation. I think you get the idea by now. I'm not your best option if you need something clearcut, like payment integration or auth. For these things, you can find someone who will do it faster and cheaper. I'm more suited for three types of projects: # Architecture Design My experience allows me to simplify. I've seen the common concepts among the different programming languages and technologies. I can tell what is redundant or very specific and what is general and long lasting. I like boring, boring meaning tried and tested. # Maintaining Stable Service In the same vein as boring, I get satisfaction from the idea of ensuring a service is running smoothly, almost so you don't even think of its existence. You get work done with it without any friction. But boring doesn't mean pointless work. I will automate myself out of it as much as possible. # Higher Ambiguity | Exploratory Work I'm not afraid to build things I haven't built before. On the contrary, I find it interesting, as long as I find the project itself interesting. **Lessons I've learned** + 𝗠𝗼𝗻𝗲𝘆 𝗲𝘅𝗽𝗿𝗲𝘀𝘀𝗲𝘀 𝗰𝗼𝘀𝘁 𝗮𝗻𝗱 𝘃𝗮𝗹𝘂𝗲. I make sure clients get value for what they pay, while also making sure my costs are reasonable. + 𝗦𝗼𝗹𝘂𝘁𝗶𝗼𝗻𝘀 𝗼𝘃𝗲𝗿 𝗯𝗹𝗮𝗺𝗲. Pointing fingers contributes to the problem more than to the solution. The project is more important than individual sensitivities, but see point 3. + 𝗙𝗶𝘁 𝗶𝘀 𝗶𝗺𝗽𝗼𝗿𝘁𝗮𝗻𝘁. With some people you just work well while with others you have to force things. I've learned it's better to recognise this and part ways amicably, so you can find those people who are your fit.OCaml
TerraformAnsibleDockerPostgreSQLTypeScriptPython - $60 hourly
- 4.7/5
- (8 jobs)
Greetings, prospective Client! I'm a back-end developer with 7 years of experience. I specialize in Erlang and Elixir (Phoenix) applications. Supported by: Docker, Kubernetes, AWS, JavaScript, bash What I can do for you: - Design and implement distributed applications - Design and write an API for your database - 3rd party integration - Extend your Erlang/Elixir code-base, add functionalities, fix bugs - Translate your code into Erlang/Elixir - Deploy your project in containers, clusters, cloud - Fix your server networking - Write utility scripts - Document everything I do - Working alone or in a teamOCaml
PhoenixPostgreSQLErlangElixirDockerKubernetes - $70 hourly
- 4.6/5
- (9 jobs)
I'm Sarah, and I'm a programmer. I will develop and optimize algorithmic, modelling, forecasting, and mathematical systems for you, in a way which is tested and documented. In terms of languages, I'm adept with Rust and Python, and know their systems very well, but have also worked with C, C++, Julia, Matlab, and R, plus automated theorem proving systems such as Coq and Lean4. I've also worked with logic programming systems such as Prolog and Datalog to the end of solving route planning, binpacking, and inventory optimization. In addition to models, I can also make bots to go with, such as creating a telegram interface. If your problem fits into any of these areas, feel free to reach out to me with a proposal, and I look forward to hearing from you.OCaml
Systems ModelingVerilogNode.jsF#MathematicsUnit TestingAutomationHaskellMATLABPrologRustHTMLJavaScriptPython - $60 hourly
- 4.9/5
- (61 jobs)
I'm a software engineer who works mostly with backend and scientific software development, including AI. I specialize in tackling complex, exotic projects that require creative solutions. - Bioinformatics tools and pipelines - Web service development - Database management - Genetic Algorithms - API Design and Implementation - Natural Language Processing - Stock and Crypto Trading Algorithms - Data Analysis and Visualization - C/C++/Rust scientific software development - Data Scraping / Crawling My languages of choice are Python/R/Haskell/Rust.OCaml
Software DesignAlgorithm DevelopmentAgile Software DevelopmentRustBioinformaticsHaskellGenetic AlgorithmSoftware DebuggingFunctional ProgrammingDeep LearningRScalaPythonC++Machine Learning - $50 hourly
- 4.9/5
- (21 jobs)
Over 20 years of experience in software development * Computer languages: Python, Nodejs, C#, Haskell, F#, Clojure * Databases: Potgresql, Mongodb, Cassandra, Sql Server, Azure, kdb+/q * Backend: Django, Nodejs, .Net * Additional skills: Linux command line and scripting, powershell, docker, gitOCaml
HaskellBusiness Logic LayerLispSchemeMicrosoft Windows PowerShellAmazon MWSDjangoAPIF#PythonClojureSQLC# - $30 hourly
- 5.0/5
- (14 jobs)
✅ Top Rated Plus Freelancer ✅ 100% Job Success Score ✅ 7+ years of experience ✅ 2500+ Logged hours ✅ 100K+ Upwork earnings ✅ 14+ large-scale projects 𝐅𝐮𝐥𝐥-𝐒𝐭𝐚𝐜𝐤 𝐀𝐫𝐜𝐡𝐢𝐭𝐞𝐜𝐭 & 𝐆𝐞𝐧𝐞𝐫𝐚𝐭𝐢𝐯𝐞 𝐀𝐈 𝐒𝐩𝐞𝐜𝐢𝐚𝐥𝐢𝐬𝐭: Transforming businesses through scalable cloud-native solutions and cutting-edge AI innovations. I specialize in creating enterprise-grade applications that leverage the power of modern tech stack, advanced AI models, and cloud-first architecture. 𝐂𝐨𝐫𝐞 𝐄𝐱𝐩𝐞𝐫𝐭𝐢𝐬𝐞: 🔹 Full-Stack Cloud-Native Development 🔹 Generative AI & LLM Implementation 🔹 Enterprise Solutions Architecture 🔹 RAG-based AI Applications 🔹 DevOps & CI/CD Implementation 𝐓𝐞𝐜𝐡𝐧𝐢𝐜𝐚𝐥 𝐏𝐫𝐨𝐟𝐢𝐜𝐢𝐞𝐧𝐜𝐲: 𝗙𝐮𝐥𝐥-𝐒𝐭𝐚𝐜𝐤: Frontend: React.js, Angular, TypeScript, Redux Backend: .NET Core, ASP.NET MVC, Docker Database: MSSQL, MongoDB, Redis, VectorDB DevOps: Azure, AWS, Jenkins CI/CD Integration: REST APIs, Payment Gateways 𝗔𝗜/𝗠𝗟 𝗦𝗽𝗲𝗰𝗶𝗮𝗹𝗶𝘇𝗮𝘁𝗶𝗼𝗻: LLM Models: GPT-4o mini, LLaMA3.1, Mistral, Claude RAG Implementation: Pinecone, Embeddings AI Services: OpenAI, Azure AI, AWS AI Computer Vision: DALL·E, Stable Diffusion, YOLO 11 Model Optimization: PEFT, QLoRA 𝐏𝐫𝐨𝐯𝐞𝐧 𝐒𝐮𝐜𝐜𝐞𝐬𝐬: Custom AI-powered Enterprise Solutions Intelligent SaaS & E-commerce Platforms Advanced Recommendation Systems Real-time Analytics & Forecasting Large-scale Data Processing Systems Ready to elevate your business with cutting-edge technology? Let's discuss how we can leverage modern development and AI innovations to achieve your objectives. #FullStackDevelopment #GenerativeAI #CloudNative #RAG #LLM #ReactJS #DotNETCore #AWS #Azure #DevOps #AIIntegration #OpenAI #EnterpriseApps #TopRatedPlus #MachineLearning #ComputerVision #DataScienceOCaml
NoSQL DatabaseVector DatabaseElasticsearchPythonFastAPIMEAN StackLangChainChatGPTChatGPT API IntegrationMERN Stack.NET FrameworkArtificial IntelligenceASP.NET CoreAzure DevOpsMicrosoft SQL Server - $30 hourly
- 5.0/5
- (10 jobs)
Are you searching for a GIS Developer who can bring your ideas to life with interactive maps, custom location-based applications, and advanced geospatial solutions? I specialize in turning complex spatial data into user-friendly tools that empower decision-making, streamline workflows, and deliver measurable results. With six years of experience, I’ve built solutions for government agencies, academic researchers, and private companies by solving real-world problems with tailored GIS and web mapping development. Your Vision, My Expertise: Imagine having a partner who not only understands the complexities of your geospatial data but can transform them into intuitive web applications, dynamic dashboards, and interactive maps that: - Engage Your Users: Create visually stunning, functional applications that captivate users and simplify decision-making. - Boost Efficiency: Automate workflows and streamline your operations, saving time and resources. - Scale Seamlessly: From local businesses to large-scale government projects, I build scalable solutions that grow with your needs. Whether you need a custom Google Maps-style application, a real-time dashboard, or a location-based tool, I’ll craft solutions that deliver impact and unlock the potential of your data. Success Stories in GIS Development: Here are a few examples of how I’ve helped clients like you transform their geospatial challenges into actionable solutions: 1. Web Mapping Platforms: - Built a location-based app for listing and comparing collision repair centers, complete with geospatial search and pricing tools. - Developed a web app for collecting and visualizing soil data samples, helping researchers analyze data in real time. 2. Interactive Decision Support Tools: - Designed dashboards for five government agencies, integrating real-time data and GIS visualizations to streamline decision-making. - Optimized a recommender system for solar panel placement and built an accompanying web app for easy user access. 3. Custom Data Management Systems: - Created an enterprise GIS platform for a state water corporation, integrating interactive mapping and open-source tools for seamless data management. - Designed a tool to estimate total soil loss in a drainage basin and visualize results on an interactive map. Why Choose Me as Your GIS Developer? I’m not just a GIS developer, I’m your strategic partner in crafting solutions that simplify your work and deliver results. Here’s what I bring to the table: 1. Development Expertise: I specialize in modern GIS development tools, including Leaflet JS, Mapbox GL JS, Django/GeoDjango, FastAPI, and AWS. My solutions are built for performance, scalability, and usability. 2. Full-Stack Solutions: Whether it’s backend integrations, APIs, or front-end interactivity, I deliver complete, polished applications tailored to your needs. 3. Empathy for Your Goals: I start with your vision, understanding your unique challenges to deliver solutions that truly matter. 4. Track Record of Results: With projects spanning enterprise systems, interactive maps, and scalable applications, I bring proven success to every collaboration. My Tools and Competencies Here’s a snapshot of the tools I use to deliver cutting-edge solutions: - Development: Django, FastAPI, GeoDjango, JavaScript, Leaflet, Mapbox GL JS, PostGIS, GeoServer, Docker, AWS - Analysis: ArcGIS Pro, ArcGIS Online/Enterprise, ArcGIS Dashboards, QGIS, Python for spatial data science, Machine Learning Design: Inkscape, Graphic Design for UI Let’s Build Something Extraordinary Together If you’re ready to: Build engaging, scalable location-based applications, Visualize complex data with interactive maps and dashboards, or Simplify workflows with custom GIS tools, Let’s connect. Together, we’ll bring your geospatial vision to life and create tools that empower your organization to thrive.OCaml
Geospatial DataGeoJSONMapboxLeafletGISWeb DevelopmentArcGIS OnlineDjangoPythonArcGISQGIS - $25 hourly
- 5.0/5
- (2 jobs)
I'm a primarily full-stack web developer, I prefer to use golang and bulma.io/javacript. If you need reactive websites that don't need reloading, I will provide you a usable and beautiful product. I am trained in functional programming, so for backend projects I will tend to lean into using languages such as OCaml or Haskell. These tend to be very low-level compatible and flexible for most use cases.OCaml
HaskellGolangIBM SPSSCapistranoAgaviYUI LibraryMudSpockQuark Xpress - $45 hourly
- 3.9/5
- (59 jobs)
Thanks for reading! Hope to work with you soon. About me, I'm a programmer with over 20 years of professional experience. Very good in Unix, Shell Script, Windows, C/C++, Java, and Computer Architecture. Many people like me for my skills as a trainer, data warehouse designer, ETL programmer, and researcher. Also known for my openness to share knowledge and resources. Among my past projects, I have had the opportunity to work in ATM implementation, POS device development, ISO8583, EMV, cryptography, creation of embedded software, and firmware. Rational UP and Scrum as methodology. Also, I was a professional blogger for a few years, with very good results (First page in Google actually).OCaml
Payment ProcessingUnix ShellCScrumUnified Modeling LanguageETLC++ - $65 hourly
- 4.2/5
- (5 jobs)
Realize a keen interest in creating sustainable, efficient algorithms and optimizations, utilizing my experience based on fundamental mathematical knowledge for the benefit of people. Quick learner and agile team member. I prefer strict, controllable programming languages, such as Rust, Elixir/Erlang, Go. Experience in Software Development * SQL, C, C++, Java, JavaScript, Kotlin, Swift, Python, Elixir/Phoenix, Flutter, Dart, Rust * Frameworks: Phoenix Framework, React, .NET, CICD, git, Linux, Windows, MacOS * Development of iOS, Android, Windows, and web applications * Over 20 years of programming experience * Comprehensive experience: managerial, mathematical, financial-economicOCaml
Agile Software DevelopmentMathematical ModelingManagement SkillsPhoenix Web FrameworkReactNode.jsJavaScriptFlutterPostgreSQLSQLErlangRustFlutter StackElixir - $35 hourly
- 4.9/5
- (23 jobs)
#erlang (Ejabberd, MongooseIM, Cowboy) #nosql DB (Cassandra, Solr) Excellent understanding of XMPP from client to server. I have implemented XMPP client for web app (using Strophe), android app (using Smack), desktop app (using libjingle). On ejabberd/mongooseIM, I have implemented many modules that defines own presence, iq, message, even I can define own stanza. Execellent understanding WebRTC. I have implemented Linux application that uses XMPP or Websocket for signaling and WebRTC for media transport to establish p2p audio&video call. Source code of Android WebRTC application are public on github. In these days, I spend free time on + Cowboy web server and Alice AIML chat bot. + forex trading and indicators implementation for MT5.OCaml
VoIP SoftwareLinux System AdministrationErlangAndroid App DevelopmentSystems DevelopmentXMPPCPostgreSQLC++ - $70 hourly
- 4.9/5
- (31 jobs)
🌟🌟🌟🌟🌟🌟 100% Job Success Score and TOP RATED PLUS on Upwork! 🌟🌟🌟🌟🌟🌟 I’m a senior software developer with over 20 years of experience, from VBA automation and MS Access systems to full-scale web-based SAAS platforms. I specialize in creating practical, efficient solutions that connect legacy systems to modern interfaces — and I do it with clarity, precision, and clean code. My journey started early — I began coding at age 12. Since then, I've worked with VB6, C/C++, Delphi, PHP, MySQL, JavaScript, jQuery, HTML, CSS, and more recently, Python and Machine Learning. I’ve developed entire school management systems, document automation platforms, and integrated workflows that power real businesses. Need to modernize a messy Access system? Want to launch a SAAS? Need a VBA bot to handle 10,000 emails? I’ve done it — and can do it for you too. Clients trust me for my ability to think through problems, communicate clearly, and deliver reliable results fast. Let’s build something great.OCaml
CorelDRAWMicrosoft Power BIMicrosoft SQL Server ProgrammingMicrosoft ExcelMicrosoft Access ProgrammingDatabase ProgrammingDatabase ManagementVisual Basic for ApplicationsVisual BasicMicrosoft SQL ServerMySQLMicrosoft AccessDatabase Design - $15 hourly
- 5.0/5
- (5 jobs)
Hey Visitor's! My name is Sharjeel Ahmad. I have 6+ years of experience in .NET, .NET Core, MVC, Azure, Angular 19+, React.js, JavaScript, and TypeScript. My expertise includes developing robust and scalable web applications, cloud solutions, and front-end frameworks to deliver high-performance applications. Please find below the detailed list of my skills: • .NET and .NET Core application development • MVC architecture and implementation • Azure cloud services, deployment, and management • Angular 19+ for front-end development • React.js for building interactive UI components • JavaScript and TypeScript for dynamic and scalable web applications • API development and integration • Database architecture and management with SQL Server • RESTful and GraphQL API design • Agile methodologies and project management • Requirements gathering, market, and technical research Technical Skills: .NET, .NET Core, MVC, Azure, SQL Server, JavaScript, TypeScript, Angular 19+, React.js, HTML5, CSS3, SCSS, Node.js, Git/GitHub, CI/CD pipelines, DevOps practices My primary areas of expertise are: ● Development of enterprise-level .NET applications. ● Cloud-based application deployment using Azure. ● Full-stack development with Angular and React.js. ● API development and third-party integrations. ● Performance optimization and security best practices. ● Database design, optimization, and management. ● Migration of legacy applications to modern technologies. ● Implementation of authentication and authorization mechanisms. ● Real-time web applications using SignalR. ● Technical site audits and troubleshooting Collaboration: Git/GitHub, Agile/Scrum methodologies As a software developer, I gather and define requirements, maintain applications, troubleshoot and fix bugs, follow best practices, and collaborate with other team members or freelancers if needed. As a front-end developer, I craft the UI/UX of web applications, ensuring optimal performance and usability. I specialize in converting design mockups into fully functional applications and enhancing user experiences with modern web technologies. Regards, Sharjeel AhmadOCaml
On-Page SEOEcommerceWordPress ThemeFront-End DevelopmentElementorLanding PageWooCommercePHPWordPressWordPress Plugin - $20 hourly
- 4.9/5
- (26 jobs)
Hi everyone, I am a freelancer specialized in declarative languages, such as Prolog and its derivations. These programming languages are in general used to solve combinatorial problems related to areas such as Artificial Intelligence (AI) and Operations Research (OR). To solve these problems, mathematical modeling is used, with programming languages and tools like Prolog (and its several branches), PICAT, MINIZINC, OR-TOOLS, Z3 solver, ASP, PULP, etc. I also have some knowledge of other classical programming languages, such as C, V, C++, Python, and others. I find the V programming language really cool! Besides, my hobbies are Linux, small and cheap computers, so I also jumped into the embedded systems area. In addition I can offer you following services։ ☞ Coding and typesetting of documents in LaTeX (containing tables, figures, mathematical symbols, equations, etc.). ☞ LaTeX typesetting & editing of articles, reports, dissertations, doctoral thesis, posters, presentations, CVs, and other documents. ☞ Bibliography management via BibTeX, BiBLaTeX. ☞ Word/Office to LaTeX conversion. ☞ Creation of Beamer presentations in LaTeX. ☞ Writing of mathematical formulas in LaTeX. ☞ Onboarding documents online with LaTeX. ☞ Any other LaTeX work. ☞Technical translations related to CS ☞Based on my background, I can teach you many CS subjects via online classes. If you want to know more about myself: I have an amateur channel on YouTube, search for "Claudio Cesar de Sá" or go directly to: @claudio_sa where I show some of my expertise and hobbies. I usually work upon invitation, so please do not hesitate to contact me!OCaml
Embedded ApplicationOperations ResearchOptimization ModelingMathematicsLogic Tech ParadigmArtificial IntelligencePrologLaTeXModelingC - $60 hourly
- 5.0/5
- (21 jobs)
Background: I am an expert in algorithms and software development, with two decades of experience in several domains, including R&D, Software Design & Architecture, Algorithm Analysis, Mathematical Modelling, and Academic Research & Education. This professional track is backed up by a doctoral degree in Mathematics and about dozen-year-long studies and research in Theoretical Computer Science. Services: I offer research, design, development, and analysis of software solutions, with special emphasis on algorithms, system architecture, and back-end. All provided solutions will be accompanied with ample documentation. Signature skills: Research, Analysis, Planning, Mathematical Modelling, Data Modelling, Solution Design, Business Logic, Solution Completeness, High Solution Accuracy (Low Bug Rate), Automation Signature domains: Algorithmic solutions, Back-End solutions, ERP and Information Systems, Data Services, Artificial Intelligence, Natural Language Processing Signature technologies: Python, Java, C#, SQL, Prolog, API, Dockers, OOP, Functional programmingOCaml
Machine Learning ModelArtificial IntelligenceJavaObject-Oriented DesignObject-Oriented ProgrammingSoftware DevelopmentDatabase ArchitectureFunctional ProgrammingMachine LearningPrologPythonMathematicsAlgorithm Development - $32 hourly
- 4.9/5
- (56 jobs)
I am a systems analyst, software developer, professor and researcher with many years of experience and a PhD in Computer Science. I have developed systems for diverse industries and researched/published mostly in the areas of artificial intelligence and games. I'm also a polyglot with a long experience with languages such as English, French and Spanish.OCaml
PortugueseAcademic WritingApexArtificial IntelligencePrologLispVisual BasicJavaC.NET Framework - $20 hourly
- 4.7/5
- (21 jobs)
I am Ruby on Rails developer having 6 years of experience. i have done 20+ projects in Ruby on Rails which includes Health Care, Live Chat, Education System and Life Insurance apps. I have rich experience in developing API's with Ruby on Rails and can integrate 3rd party API's as well. I can develop an app from scratch and deploy it to production ( Heroku, Digital Ocean and AWS ). My Skills include. Ruby on Rails Elixir Phoenix Sidekiq Redis GitHub / Bitbucket Bootstrap TailwindCSS Reference of live apps will be furnished on demand.OCaml
Angular MaterialElixirReactCSS 3AngularJavaScriptHTML5jQueryRuby on Rails - $35 hourly
- 4.8/5
- (109 jobs)
✅ 100%+ Job Success Rate | Top Rated Plus ✅ Amongst the Top 1% of talent on Upwork. ✅ #1 Sharetribe experts on Upwork. ✅ Received 95%+ 5 Stars Ratings ✅ Top 1% of Ruby on Rails experts on Upwork. With more than 10 years experience of web development with Ruby on Rails and 7 years experience of mobile app development in Android and IOS using Flutter & React Native, I am here to serve my clients with high level of satisfaction, expertise, quality and timely work. Your satisfaction is key to my success. I have published 300+ Web applications and 25+ mobile Apps on Google Play and App Store. I specialize in developing apps that use artificial intelligence (AI) to make things smarter and more personalized. By using advanced AI techniques like machine learning and neural networks. I have contributed to the Open-Source software on GitHub and created several Ruby Gems. I'm an optimistic, open-minded and goal-oriented person. I never ran out of ideas for handling difficult situations. I manage my tasks by prioritizing and quick decision making. And I'm always eager to learn new things. And I have experience of more than 8+ years in Ruby on Rails development, so i have good command over rails. I started from rails version 2 and working so far to the latest version of rails 6 . I am a full stack developer having expertise in frontend and backend both. I have very good experience with the frontend frameworks like React.js / Angular.js & Backbone.js I am having good experience NFT marketplaces. I also do the hybrid mobile application development in React Native and Ionic Framework. I've created more than half a dozen Android apps and many Backends to the satisfaction of my clients. I'm also experienced in many specialized fields like audio/video streaming, location-based services, social networks, games, etc. My eventual goal is to help businesses become more efficient and engaging by integrating AI into their mobile and web applications. Let's work together to turn your app ideas into something truly innovative and impactful! I can proudly say I've never had to cancel any project and my delivery rate is 100%.OCaml
Backbone.jsJasmineSharetribeShopify AppsRuby on RailsHerokuSpreeRESTful APIReduxNFT MarketplaceDevOpsVue.jsRubyReactReact Native - $30 hourly
- 4.8/5
- (11 jobs)
✨ 𝘊𝘰𝘥𝘦 𝘪𝘴 𝘭𝘪𝘬𝘦 𝘢𝘳𝘵—𝘦𝘷𝘦𝘳𝘺 𝘱𝘳𝘰𝘫𝘦𝘤𝘵 𝘐 𝘵𝘢𝘬𝘦 𝘰𝘯 𝘪𝘴 𝘢 𝘮𝘢𝘴𝘵𝘦𝘳𝘱𝘪𝘦𝘤𝘦 𝘪𝘯 𝘵𝘩𝘦 𝘮𝘢𝘬𝘪𝘯𝘨. 𝘐𝘧 𝘺𝘰𝘶'𝘳𝘦 𝘭𝘰𝘰𝘬𝘪𝘯𝘨 𝘧𝘰𝘳 𝘴𝘰𝘮𝘦𝘰𝘯𝘦 𝘸𝘩𝘰 𝘵𝘳𝘦𝘢𝘵𝘴 𝘦𝘷𝘦𝘳𝘺 𝘭𝘪𝘯𝘦 𝘰𝘧 𝘤𝘰𝘥𝘦 𝘢𝘴 𝘢𝘯 𝘰𝘱𝘱𝘰𝘳𝘵𝘶𝘯𝘪𝘵𝘺 𝘵𝘰 𝘤𝘳𝘦𝘢𝘵𝘦 𝘴𝘰𝘮𝘦𝘵𝘩𝘪𝘯𝘨 𝘦𝘹𝘤𝘦𝘱𝘵𝘪𝘰𝘯𝘢𝘭, 𝘺𝘰𝘶'𝘷𝘦 𝘤𝘰𝘮𝘦 𝘵𝘰 𝘵𝘩𝘦 𝘳𝘪𝘨𝘩𝘵 𝘱𝘭𝘢𝘤𝘦. ✨ 👋 𝐇𝐞𝐥𝐥𝐨! Looking for a 𝐅𝐮𝐥𝐥 𝐒𝐭𝐚𝐜𝐤 𝐃𝐞𝐯𝐞𝐥𝐨𝐩𝐞𝐫 to bring your ideas to life? Whether it's a seamless Front-End, a powerful Back-End, or both, I’m here to help you build something extraordinary! I’m a 𝐒𝐞𝐧𝐢𝐨𝐫 𝐅𝐮𝐥𝐥-𝐒𝐭𝐚𝐜𝐤 𝐃𝐞𝐯𝐞𝐥𝐨𝐩𝐞𝐫 with over 6 years of hands-on experience, specializing in building dynamic, high-performance web applications. I turn complex concepts into clean, efficient, and user-friendly solutions that meet your business needs. ◆ 𝐖𝐡𝐚𝐭 𝐈 𝐂𝐚𝐧 𝐃𝐨 𝐅𝐨𝐫 𝐘𝐨𝐮: 💻 𝗙𝘂𝗹𝗹-𝗦𝘁𝗮𝗰𝗸 𝗗𝗲𝘃𝗲𝗹𝗼𝗽𝗺𝗲𝗻𝘁: From Front-End design to Back-End architecture, I handle it all! ⚡ 𝗥𝗲𝗮𝗹-𝗧𝗶𝗺𝗲 𝗦𝘆𝘀𝘁𝗲𝗺𝘀: Expert in building real-time applications using Phoenix LiveView and WebSockets. 🔗 𝗖𝘂𝘀𝘁𝗼𝗺 𝗜𝗻𝘁𝗲𝗴𝗿𝗮𝘁𝗶𝗼𝗻𝘀: Ensuring your app integrates smoothly with third-party services via APIs and seamless integrations. ◆ 𝐓𝐞𝐜𝐡𝐧𝐨𝐥𝐨𝐠𝐢𝐞𝐬 𝐈 𝐌𝐚𝐬𝐭𝐞𝐫: 🎨 𝗙𝗿𝗼𝗻𝘁-𝗘𝗻𝗱 𝗗𝗲𝘃𝗲𝗹𝗼𝗽𝗺𝗲𝗻𝘁: • HTML, CSS, JavaScript (ES6+), React, Vue.js, Next.js, Angular • Bootstrap, Sass, Webpack, AJAX, jQuery • Phoenix, LiveView for real-time interactivity 💾 𝗕𝗮𝗰𝗸-𝗘𝗻𝗱 𝗗𝗲𝘃𝗲𝗹𝗼𝗽𝗺𝗲𝗻𝘁: • Elixir with Phoenix Framework, Golang, Node.js, Erlang • MERN/MEAN Stack: MongoDB, Express, Angular/React, Node.js • Python: Django, Flask • RESTful APIs, GraphQL, WebSockets 🗄️ 𝐃𝐚𝐭𝐚𝐛𝐚𝐬𝐞𝐬: • MongoDB, PostgreSQL, MySQL, Redis, SQL Server • Database design, optimization, replication ◆ 𝐖𝐡𝐲 𝐖𝐨𝐫𝐤 𝐖𝐢𝐭𝐡 𝐌𝐞? 🚀 𝗖𝗹𝗲𝗮𝗻, 𝗦𝗰𝗮𝗹𝗮𝗯𝗹𝗲 𝗖𝗼𝗱𝗲: My code is crafted for performance and scalability, ensuring your app is ready to grow. ⚡ 𝗥𝗲𝗮𝗹-𝗧𝗶𝗺𝗲 𝗘𝘅𝗽𝗲𝗿𝘁: From chat apps to live data dashboards, I can build fast, real-time apps that keep users engaged. 📈 𝗥𝗲𝘀𝘂𝗹𝘁𝘀-𝗗𝗿𝗶𝘃𝗲𝗻: I build solutions that work, focusing on high-quality results before deadlines to help businesses scale. 💬 𝗖𝗹𝗲𝗮𝗿 𝗖𝗼𝗺𝗺𝘂𝗻𝗶𝗰𝗮𝘁𝗶𝗼𝗻: I keep you informed throughout the project, so you're never left guessing. ◆ 𝐈𝐧𝐝𝐮𝐬𝐭𝐫𝐢𝐞𝐬 𝐈'𝐯𝐞 𝐖𝐨𝐫𝐤𝐞𝐝 𝐖𝐢𝐭𝐡: • 🛒 E-commerce • 💸 FinTech • 🏥 Healthcare • 🏠 Real Estate • 🔗 Blockchain ◆ Let’s Turn Your Vision into Reality! I take pride in delivering high-quality work and meeting tight deadlines. Whether you're starting from scratch or optimizing an existing platform, I can help you achieve your goals with top-tier solutions. 👉 𝑹𝑬𝑨𝑫𝒀 to build something amazing? Let’s chat and bring your idea to life! 🔑 𝐊𝐞𝐲𝐰𝐨𝐫𝐝𝐬: JavaScript, MEAN Stack, Elixir, Flutter, React, Node.js, Angular, TypeScript, Python, Full-Stack Development, MERN Stack, Back-End Development, Front-End Development, Agile Project Management, Full Stack Developer, Web Developer, Software Engineer, Backend Developer, Frontend Developer, Elixir Developer, Phoenix Framework, Golang, MERN Stack, MEAN Stack, React.js, Vue.js, Next.js, Angular, JavaScript Developer, TypeScript, Node.js, Python, Django, Flask, PHP, Laravel, API Development, RESTful APIs, GraphQL, JavaScript, MEAN Stack, Elixir, Flutter, React, Node.js, Angular, TypeScript, Python, Full-Stack Development, MERN Stack, Back-End Development, Front-End Development, Agile Project Management, Web Application Development, OAuth, JWT, Webhooks, MongoDB, MySQL, PostgreSQL, Redis, SQL Server, Cloud Computing, AWS, Google Cloud Platform, Azure, DevOps, Docker, Kubernetes, WebSockets, Phoenix LiveView, Real-Time Applications, E-commerce Development, FinTech Solutions, Healthcare Software, Blockchain Developer, Agile Development, SCRUM, UI/UX Design, Mobile-First Design, Progressive Web Apps (PWA), HTML5, CSS3, Bootstrap, Sass, Webpack, AJAX, jQuery, Erlang, Express.js, MongoDB Atlas, Git, Version Control, Continuous Integration (CI/CD), Responsive Design, API Integration, Third-Party Integrations, Web Application Development, Microservices Architecture, Scalable Systems, Database Optimization, Database Design, Serverless Architectures, GraphQL APIs, Cross-Browser Compatibility, Unit Testing, Automated Testing, Agile Methodologies, Jira, Trello, Slack, GitHub, Bitbucket, GitLab, Version Control, Web Security, Cybersecurity, Performance Optimization, SEO-Friendly Web Development, Progressive Web Apps (PWAs), React Native, Mobile-First Approach, Responsive Web Design, User-Centered Design, Cross-Platform Development, Firebase, Heroku, Continuous Deployment, API Documentation, Unit Testing, Jira, TDD (Test Driven Development), Performance Tuning, GraphQL, Server-Side Rendering (SSR), Single Page Applications (SPA), Headless CMS.OCaml
Web Application DevelopmentBack-End DevelopmentMERN StackFlutterMEAN StackFront-End DevelopmentFull-Stack DevelopmentGolangPythonTypeScriptAngularNode.jsReactElixirJavaScript - $100 hourly
- 4.9/5
- (12 jobs)
I am a senior software engineer with extensive experience in Haskell, OCaml, C, C++, Prolog, Python, Scheme, Racket, R Studio, Coq, Agda, and Lean4 with an interest in all aspects of programming but a particular focus on functional programming, programming language theory, computability theory, programming language implementation, compilers, parsers, theorem provers, formal methods, probabilistic programming, amongst other things. I also have a background in mathematics research with a particular focus on category theory, probability theory, topology, and formal logic (type theory, predicate calculus, higher-order logic).OCaml
PrologLispHaskellMathematicsFunctional ProgrammingCRustPythonJava - $20 hourly
- 5.0/5
- (15 jobs)
A dedicated and determined individual with strong skills in writing low-level high performance code. Adept in data structures, compilers and functional programming. Programming Languages: Proficient in C, Haskell, Scheme, Java, Rust and shell scripting. Familiar with Python, Standard ML, Coq, x86 and RISC-V assembly. Open Source: I am an open source citizen, and contribute patches when I can. Projects include: - PostgREST/postgrest (Collaborator: 60+ commits) - Galois/cryptol - ghc/ghc - haskell/cabal - racket/typed-racket - HOL-Theorem-Prover/HOL - bazelbuild/bazel See also: github.com/taimoorzaeem Interests include: Discrete Mathematics, Compilers, Functional Programming, Theorem Proving, Unix/Linux Philosophy, Type TheoryOCaml
RustLinuxOperating SystemLispJavaCompilerPythonRacketAssembly LanguageBashHaskellSchemeFunctional ProgrammingC - $50 hourly
- 4.9/5
- (33 jobs)
Hey there! I'm Kos, an IT veteran, and I'll ensure your product or SaaS is a premium, AI-driven solution, maximizing your investment with strategic resource use and exceptional results. With a passion for connecting product owners like you with top-tier software developers, I'm here to guide you every step of the way. Whether you're launching a groundbreaking product or kickstarting an AI-driven SaaS, my expertise in AI integration, web development, and computer graphics will help you avoid common pitfalls and achieve success. Let's turn your vision into reality with secure, high-performance solutions. Ready to make your project soar? Let's chat! After partnering with 80 product owners, I’ve seen the frustrations your team faces: ❌ Project delays ❌ Budget strains ❌ Lack of expertise ❌ Inadequate freelance support Which is exactly why, you need access to a passionate team with the technical expertise AND communication skills to effectively turn your vision into a reality. ⭐ I’m here to help. Through a culture of continuous learning, high standards, and clear communication – we’re passionate about helping you find long-term success. ✅ 10 years of development experience ✅ 100+ happy clients ✅ Global network of certified developers Connect with me for an expert consultation or hop on a free call to discuss getting access to a full development team to deliver a clean, tested solution. Technologies and crates I'm comfortable with: - Back-end frameworks: actix-web, axum, Rocket, hyper - Network: WebRTC, LibP2P, QUIC, WebSocket - Data scraping: voyager, crabler - Async runtimes: tokio, actix - Databases: sqlx, diesel, rusqlite, PostgreSQL, MySQL, SurrealDB, Firestore - Data: serde, config - CLI/TUI: clap, tui - Full-stack framework and web-to-app: tauri, dioxus, leptos, SWC plugins, yew - Android/iOS: tauri-mobile - GPU/Shaders: wgpu, rust-gpu - Geo: google_maps - Containers and orchestration: Docker, Kubernetes - Columnar Databases: ClickHouse, Snowflake, Google BigQuery, Amazon Redshift - Languages: Rust first, C++, TypeScript/JavaScript, Python - DevOps Tools: Terraform, Jenkins, GitHub CI/CD - Security: OpenSSL, JWT, OAuth 2.0 - Machine Learning: TensorFlow, PyTorch - Big Data: Apache Hadoop, Apache Spark - Observability: Prometheus, Grafana, ELK Stack (Elasticsearch, Logstash, Kibana) - Communication: gRPC, tonic, GraphQL - Cloud Services: AWS, GCP, Azure - Streaming broker: Apache Kafka, RabbitMQ - Custom Rust: Declarative or procedural macros, code generation - Multidimensional metric data structure - APIs for Generative AI: OpenAI API, Anthropic API, Hugging Face - LLMs and Adapters: OpenLLaMA, BERT, KALOSM, Mistral, Candle Transformers Back-End and beyond of Back-End Services: - I will translate a program from your language of choice to Rust. - I will set up CI/CD for your Rust application on GitHub. - I will develop APIs tailored to your needs. - I will create a performant cross-platform full-stack/multimedia Rust program that runs on the web or natively. - I will build and optimize your application for WebAssembly. - I will design and develop SDL or a parser for your project. - I will design cloud architecture to suit your business requirements. - I will develop a Generative AI-based SaaS solution. - I will use Tauri to transform your web app into a mobile or desktop application. 💰 We value partners that are serious about their investment. Because I am here to help future-forward VPs and product managers create premium, growth-oriented solutions. We’ll be an excellent fit if you value: ✔️ Clear and effective collaboration ✔️ Billing by results, not time ✔️ Connecting with proactive, passionate, and results-focused teams Still on the fence? Just reach out – I’m more than happy to answer any questions you may have! Because at the end of the day – my goal is to use my 10+ years of experience to help you create a practical solution for your users. Any questions at all? ✉️ Just DM me.OCaml
Stripe APICSSWebAssemblyComputer GraphicsC++DirectXOpenGLWebGLThree.jsRust3D AnimationTypeScriptNode.jsJavaScriptScripting - $75 hourly
- 4.6/5
- (39 jobs)
With over 8 years of experience in large-scale software design and development, I specialize in backend systems and have a proven track record in building software from the ground up and maintaining complex legacy projects. My work spans diverse domains such as messaging, audio/video streaming, ride-sharing, event-driven architectures, eCommerce, FinTech, EdTech, IoT, SaaS, and Blockchain. # Areas of Expertise: - API Design & Development: Proficient in designing and implementing REST, GraphQL, and gRPC APIs. - Scalable Systems: Expertise in designing and developing horizontally scalable and highly available systems. - Automation: Skilled in automating development workflows and deployment pipelines. - Microservices Architecture: Strong experience in leveraging microservices for system design. - RTC/WebRTC: Proficient in building real-time communication applications. - Blockchain/DApps: Experienced in designing decentralized applications (DApps) and smart contracts. - Monitoring & Logging: Expertise in log aggregation and system monitoring. # Skills & Technologies: - Languages: Golang, Java - APIs: RESTful, gRPC, GraphQL - Frameworks: Fiber, Echo, Spring Boot - Databases: PostgreSQL, Redis, MongoDB, ElasticSearch - Messaging & Orchestration: Apache Kafka, RabbitMQ, Apache Airflow - Containers & Orchestration: Kubernetes, Docker - Protocols: MQTT, XMPP, WebRTC - Blockchain: Ethereum, smart contracts - Web Servers: Nginx, HAProxy, Apache - Cloud Platforms: DigitalOcean, AWS, Azure - Operating Systems: Linux, macOS - DevOps: CI/CD, build automation I am deeply passionate about developing highly scalable distributed systems and take pride in crafting robust, efficient, and innovative solutions.OCaml
APISoliditySoftware Architecture & DesignDistributed ComputingDockerMQTTGolangKubernetesEthereumJavaPostgreSQLGraphQLBlockchainRESTful API - $30 hourly
- 5.0/5
- (20 jobs)
Unified Communications (UC) Specialist | SIP Routing & SBC | FusionPBX | Kamailio | FreeSWITCH | Asterisk | VOIP. I am an expert Web Apps developer with expertise in Chat and messaging/Audio Video Calling/Conferencing/Live Streaming. I have 12+ years of experience working in Web and Mobile App Development and Web projects in various domains. My skills are Web and Mobile User Interface Designing (UX/UI Design Skills), Mobile Modern Programming Languages, Agile Methodologies Experience, Backend Computing in Mobile App Development (iPhone & android), and Business Expertise. My core skillset on Web, Mobile & Software Development includes: ✔ Native Mobile Development: Javascript, Android and iOS ✔ Web service: XML/JSON, REST/SOAP ✔ Cloud backend: Parse.com, AWS, Firebase, Foodie, remoteStorage, Twilio ✔ Chat & Messaging Engine: XMPP, Jabber, OpenFire, OpenTok WebRTC ✔ Video/audio/image processing: OpenCV, GPU Image, CoreAudio, AVFoundation ✔ MySQL, SQLite, Oracle, SQL Server, ODBC ✔ Facebook, Twitter, Linkedin, Instagram, Youtube, Pinterest, Vimeo ✔ Google Map, Foursquare, Geolocation, GPS, Open Street Maps ✔ iAd, Adwirl, Revmob, Admob, Chartboost, Tapjoy, Flurry, Testflight ✔ Source Control: Mantis, JIRA, Redmine, Basecamp, Github, BitBucket, SVN ✔ Online Payment Gateway: PayPal, Stripe, PayUmoney, Braintree Programming Languages: ✔ Mobile Development - Android (Java, Kotlin)OCaml
ErlangXMPPPayment Gateway IntegrationAndroid App DevelopmentAngularJSPHPKotlinJavaChat & Messaging SoftwareWebRTC - $70 hourly
- 4.6/5
- (69 jobs)
More than 20 years of professional experience, expertise in Linux, C/C++, Python, Erlang, advanced algorithms, system analysis. Open to various offers, but mostly interested in Linux kernel, currently. Fixing bugs, solving complicated problems, creating / reshaping systems. The result is most important of all things. There are no borders between various disciplines of programming. A high power output, not for every appliance. :) Getting things done.OCaml
MQTTCPostgreSQL ProgrammingLinux System AdministrationPythonJavaScriptMongoDBErlangC++ Want to browse more freelancers?
Sign up
How it works
1. Post a job
Tell us what you need. Provide as many details as possible, but don’t worry about getting it perfect.
2. Talent comes to you
Get qualified proposals within 24 hours, and meet the candidates you’re excited about. Hire as soon as you’re ready.
3. Collaborate easily
Use Upwork to chat or video call, share files, and track project progress right from the app.
4. Payment simplified
Receive invoices and make payments through Upwork. Only pay for work you authorize.
How do I hire a OCaml Developer on Upwork?
You can hire a OCaml Developer on Upwork in four simple steps:
- Create a job post tailored to your OCaml Developer project scope. We’ll walk you through the process step by step.
- Browse top OCaml Developer talent on Upwork and invite them to your project.
- Once the proposals start flowing in, create a shortlist of top OCaml Developer profiles and interview.
- Hire the right OCaml Developer for your project from Upwork, the world’s largest work marketplace.
At Upwork, we believe talent staffing should be easy.
How much does it cost to hire a OCaml Developer?
Rates charged by OCaml Developers on Upwork can vary with a number of factors including experience, location, and market conditions. See hourly rates for in-demand skills on Upwork.
Why hire a OCaml Developer on Upwork?
As the world’s work marketplace, we connect highly-skilled freelance OCaml Developers and businesses and help them build trusted, long-term relationships so they can achieve more together. Let us help you build the dream OCaml Developer team you need to succeed.
Can I hire a OCaml Developer within 24 hours on Upwork?
Depending on availability and the quality of your job post, it’s entirely possible to sign up for Upwork and receive OCaml Developer proposals within 24 hours of posting a job description.