Companies similar to OCAMLCORE
Sign up to Download

1-30 of 6,713,056 results

  • www.ocamlcore.com
  • 1
  • 1
OCamlCore is a well recognized software and services company in the OCaml community... If you are looking for a company providing OCaml services, please visit the the OCaml.org website..
Relevance: 30.6818
  • ocaml-sf.org
  • 1
  • 5
The OCaml Software Foundation (OCSF) is a sub-foundation of the INRIA Foundation. It is a charity/non-profit -- read our statutes for more details... The actions of the OCaml Software Foundation are directed by an Executive Committee which currently..
Relevance: 25.519482
  • ocamllabs.io
We are delighted to announce that OCaml Labs is joining Tarides. After successfully collaborating on many OCaml projects over the last four years, this alliance will combine the expertise of both groups and enable us to bring OCaml - one of the most..
Relevance: 23.479858
  • formal.land
  • 1
Our technology is used by the crypto-currency Tezos to formally verify its implementation. We believe Tezos to be the first crypto-currency with a process of formal verification of its implementation, making it one the safest decentralized..
Relevance: 23.034359
  • ocamlpro.com
  • 1
  • 22
OCamlPro has a record of outstanding technological achievements and success stories, in areas from web tools to distributed frameworks, DSLs and formal methods. We also built a strong blockchain expertise since 2014 on the Tezos and Dune Network..
Relevance: 22.857218
  • www.psellos.com
  • 3
  • 2
For many years we have been happy users of the functional programming language OCaml. We used the Js_of_ocaml OCaml compiler to create the two webapps above. It was surprisingly easy to transport the iOS OCaml code to the browser environment... Of..
Relevance: 22.483171
  • www.ocaml.org
  • 2
OCaml is used by thousands of developers, companies, research labs, teachers, and more. Learn how it fits your use case... OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety... A..
Relevance: 21.844645
  • www.guagua.fi
  • 1
  • 1
Guagua Oy is small, agile and growing IT-consulting company. This means we can adapt your varying needs to offer quality service you need... These services include design, planning, security and daily maintenance for your production and development..
Relevance: 21.500254
  • www.ujamjar.com
  • 2
MicroJamjar is a company that is developing a range of digital signal processing (DSP) hardware modules designed for easy integration into customers products and designed to reduce time to market... Ocaml labs at Cambridge University are developing..
Relevance: 19.42731
  • www.patrykczarnik.net
Patryk Czarnik is an IT expert, software developer, academic teacher and trainer. Visit card..... Although my activities are miscellaneous, I identify myself primarily as a programmer. Working with code, as an author, teacher or reviewer, I pay a..
Relevance: 19.184973
  • segfault.systems
We are delighted to announce that Segfault Systems is joining Tarides. Segfault has worked closely with Tarides over the last couple of years, most notably on the award-winning Multicore OCaml project and the upstreaming plans for OCaml 5.0. This..
Relevance: 18.855854
  • www.proof-technologies.com
  • 1
Proof Technologies Ltd specialise in cutting-edge mathematical proof software for the software industry and academia. We also provide professional consultancy services in safety-critical software development and functional programming... We believe..
Relevance: 18.691858
  • funktory.com
  • 1
Funktory.com is a start-up company in stealth mode. Apart of our secret project, we engage in indie game development and OCaml and Haskell consultancy... Funktory.com is currently in stealth startup mode, but during breaks in plotting world..
Relevance: 18.287395
  • www.tezosprojects.com
  • 1
Tezos OCaml Michelson Institute (TOMI) - a Tezos research and education foundation dedicated to the growth and advancement of the Tezos developer community... Tezos Ukraine is a non-profit organization run by Ukrainian blockchain enthusiasts and..
Relevance: 18.26773
  • subharmonic.tech
  • 2
Subharmonic is currently working toward developing the software frontend, backend, and smart contracts for a trustless settlement of financial derivatives contracts. We are working on creating a solution that will involve efficient algorithmic market..
Relevance: 16.800343
  • liquidity-lang.org
  • 1
  • 2
Liquidity is a high-level language to program Smart Contracts for Dune Network and Tezos. It is a fully typed functional language, it uses the syntaxes of OCaml and ReasonML, and strictly complies with Michelson security restrictions...
Relevance: 16.716726
  • ocaml.xyz
  • 2
  • 1
Our mission is to push the frontier of high-performance scientific computing, provide both researchers and industry programmers a powerful framework to write concise, fast and safe analytical code. The system aims to serve as the de-facto tool for..
Relevance: 16.570662
  • www.reason-conf.us
As such, we are committed to providing a friendly, safe and welcoming environment for all, regardless of gender, sexual orientation, ability, ethnicity, socioeconomic status, and religion (or lack thereof)... A hands-on ReasonML conference for web..
Relevance: 16.415537
  • earldouglas.com
  • 2
I am interested in type theory and functional programming, and gravitate toward Scala and Nix. I also enjoy tinkering with Unison, Haskell, OCaml, and TypeScript. For a brief overview of my background, see my profiles on LinkedIn and GitHub...
Relevance: 16.351538
  • www.cloudi.org
CloudI is for back-end server processing tasks that require soft-realtime transaction processing external to database usage (in ATS, C/C++, Erlang/Elixir, Go, Haskell, Java, JavaScript/node.js, OCaml, Perl, PHP, Python, Ruby and Rust)... Cloud..
Relevance: 15.764581
  • www.raml.co
  • 1
  • 2
Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs... The system automatically derives upper bounds on the worst-case resource use and lower bounds on the best-case resource use...
Relevance: 15.648658
  • ocaml.org
The first implementation of Caml appeared in 1987. Ascánder Suárez created it as part of the Formel project at INRIA, headed by Gérard Huet. Later, Pierre Weis and Michel Mauny continued developing it. In 1990, Xavier Leroy and Damien Doligez built a..
Relevance: 14.455601
  • www.imars.com
I'm a self-taught software engineer by day, looked into financial trading for a few years but came back to software for an OCaml project I couldn't refuse... In my spare time, after misadventures with commercial recreational vehicles I took the..
Relevance: 14.416147
  • www.functori.com
  • 1
Functori was founded by like minded engineers and researchers who share the same passion for technological challenge... We like sharing our experience and expertise of blockchains, formal methods and OCaml. We can help your team better understand..
Relevance: 14.3182335
  • ocamlpro.com
  • 1
  • 23
Our accomplished team of Ph.D. holders boasts world-class expertise in programming language design and advanced architectures... For special performance or security and safety requirements, we can help assess and optimize your code base... OCamlPro..
Relevance: 14.068096
  • tarides.com
  • 60
Tarides is an international software company with offices in Cambridge (UK), Paris (France), and Chennai (India), founded in 2018 by pioneers of systems and functional programming. We have a worldwide presence with collaborators working remotely from..
Relevance: 14.039913
  • www.imandra.ai
  • 1
  • 1
  • 22
Imandra is already used today by leading financial firms to design, implement and calibrate complex financial systems, including national stock and derivatives exchanges. Outside of finance, our clients include US Air Force and DARPA... The input..
Relevance: 13.174472
  • www.srijanservices.com
  • 2
  • 7
Srijan Services is Technology Consulting, Software Development and IT Training and Development Services Company... Srijan is a Software Development, Technology Consulting and Software Outsourcing Services Company..
Relevance: 11.773654
  • inss.in
  • 2
  • 4
Interface Software Services is a foremost Software Development Company in Bhubaneswar providing Offshore and Custom Software Development Services across the globe. We have expertise in .net software's with SQL server as back end... INTERFACE..
Relevance: 11.767192
  • www.sygntech.com
  • 2
  • 1
SygnTech is a software services and consulting company that offers top notch IT Consulting, Software and Cloud services... SygnTech is expertise software development company to fulfill the client's requirements in designing the software to their..
Relevance: 11.751545