'Ocaml' trends

Domains containing the tag 'Ocaml'

Bounce ratePages / VisitVisit duration
1blackbox.ai
BLACKBOX.AI
BLACKBOX.AI is the best ai agent, built to transform the way you work and learn and trusted by +10 M users and Fortune 500 companies
38.35 4.14 04:28
2spoj.com
Sphere Online Judge (SPOJ)
Problemset archive, online judge and contest hosting service accepting solutions in C, C++, Pascal, Java and other languages.
SPOJ (Sphere Online Judge) is an online judge system with over 315,000 registered users and over 20000 problems. The solution to problems can be submitted in over 60 languages including C, C++, Java, Python, C#, Go, Haskell, Ocaml, and F#. SPOJ has a ***ly growing problem set/tasks available for practice 24 hours/day, including many original tasks prepared by the community of expert problem setters associated with the project.
43.87 7.32 06:10
3ocaml.org
Welcome to a World of OCaml
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety.
54.50 2.98 03:29
4ocamlpro.com
Harnessing Cutting-Edge Technologies | OCamlPro
OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.
68.12 1.76 34:47
5sketch.sh
Sketch.sh - Interactive ReasonML/OCaml sketchbook
Sketching ReasonML/OCaml code with inline evaluation results
73.93 1.00 02:24
6typerex.org
TypeRex
TypeRex is a set of open-source tools and libraries for OCaml, developed by OCamlPro.
n/a 2.00 n/a
7grex.org
Welcome to Grex: Public Access Unix
Grex is the public access Unix and conferencing system provided by Cyberspace Communications, Inc.
n/a 2.00 n/a
8ceramichacker.com
Ceramic Hacker
A blog about software engineering/computer science, pottery, and maybe some other things.
41.99 1.03 23:41
9ocamlpro.github.io
OCamlPro's Resources on Github
TypeRex is a set of open-source tools and libraries for OCaml, developed by OCamlPro.
57.67 1.01 00:14
10useblackbox.ai
Chat Blackbox: AI Code Generation, Code Chat, Code Search
BLACKBOX AI is the Best AI Model for Code. Millions of developers use Blackbox Code Chat to answer coding questions and assist them while writing code faster. Whether you are fixing a bug, building a new feature or refactoring your code, ask BLACKBOX to help. BLACKBOX has real-time knowledge of the world, making it able to answer questions about recent events, technological breakthroughs, product releases, API do***entations & more BLACKBOX integrates directly with VSCode to automatically suggests the next lines of code based on your repo context.
98.16 1.04 07:38
11piqi.org
The Piqi Project
Piqi is a set of languages and tools for working with structured data.
50.42 1.01 n/a
12haesbaert.org
Haesbaert.org
Main Haesbaert page
n/a 0.00 n/a
13cedeela.fr
The Blag | Posts
Logic, Computer Graphics, OCaml, Rust, etc.
n/a 0.00 n/a
14ageinghacker.net
Luca Saiu — free software hacker and computer scientist
Luca Saiu is a computer scientist specialized in programming languages, free software hacker and GNU maintainer.
n/a 0.00 n/a
15ocamljava.org
OCaml-Java
Homepage of the OCaml-Java project
n/a 0.00 n/a
16nd-forge.us
Nd FORGE: Distributed Systems Software Consulting
Nd FORGE Inc. Distributed Systems Software Consulting
n/a 0.00 n/a
17spoj.pl
Sphere Online Judge (SPOJ)
Sphere Online Judge (SPOJ)
n/a 3.00 n/a
18simonjbeaumont.github.io
Skylight Symmetry
Someone with nothing better to do writing for someone with nothing better to read. On software, music, and life.
n/a 0.00 n/a
19funktory.com
Ƒ:υηκτοɤγ.com (the funktory.com startup)
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.
n/a 0.00 n/a
20ndforge.dev
Nd FORGE: Distributed Systems Software Consulting
Nd FORGE Inc. Distributed Systems Software Consulting
n/a 0.00 n/a
21shooshanica.com
Nd FORGE: Distributed Systems Software Consulting
Nd FORGE Inc. Distributed Systems Software Consulting
n/a 0.00 n/a
22nd-forge.dev
Nd FORGE: Distributed Systems Software Consulting
Nd FORGE Inc. Distributed Systems Software Consulting
n/a 0.00 n/a
23cloudi.dev
Nd FORGE: Distributed Systems Software Consulting
Nd FORGE Inc. Distributed Systems Software Consulting
n/a 0.00 n/a