Technical groups
About
Data Engineering
Frontend Architecture & Infrastructure
Generative AI
High Assurance Software
Nix
Programming Languages and Compilers
Quality Engineering Test Automation
Scalable Builds
Open source
Careers
Research
Blog
Contact
Consulting services
Technical groups
About
Data Engineering
Frontend Architecture & Infrastructure
Generative AI
High Assurance Software
Nix
Programming Languages and Compilers
Quality Engineering Test Automation
Scalable Builds
Open source
Careers
Research
Blog
Contact
Consulting services
Blog: ocaml (8 posts)
all
animation
announcement
asterius
auditing
azure
bazel
best-practices
blockchain
buck2
build-systems
c
c++
capability
cargo
cloud
cmake
contract-testing
cybersecurity
data-engineering
data-science
delta-lake
dependency-management
devops
domain-driven-design
fawltydeps
fellowship
formal-methods
formatting
frontend
generative-ai
ghc
golang
halide-haskell
haskell
high-assurance
icfp
inline-java
integration-testing
internship
jobs
jupyenv
jupyter
linear-types
liquidhaskell
llm
llm-evaluation
machine-learning
MCMC
monorepo
nickel
nix
ocaml
optics
packaging
processes
profiling
programming-languages
python
rag
ray
react
react-native
reanimated
regulation
reproducibility
retrieval
rust
sbom
servant
skia
smart-contracts
software-quality
state-machine
statistics
terraform
tools
topiary
training
trustix
tutorial
type-level programming
typescript
ux
webassembly
29 June 2023
Packaging Topiary in OPAM
Now that Topiary is out and supports OCaml, we need to package it. But how exactly does one package a Rust projet in OPAM, the OCaml Package Manager?
packaging
rust
ocaml
topiary
9 March 2023
Announcing Topiary
We're happy to announce the first release of Topiary, a formatter for many languages that leverages Tree-sitter.
formatting
rust
ocaml
topiary
16 February 2023
opam-nix: Nixify Your OCaml Projects
We present opam-nix, show how it helps to easily develop, build and test your OCaml projects with Nix
nix
ocaml
12 May 2022
Comparing strict and lazy
Arnaud takes a step back from the slogans and examines the trade-offs between lazy and strict languages.
haskell
ocaml
21 July 2021
Integrated shrinking in QCheck
An introduction to Integrated Shrinking and an implementation in QCheck (OCaml)
ocaml
1 July 2021
Building OCaml Projects with Bazel
Building OCaml projects with the new Bazel ruleset, OBazl
bazel
ocaml
21 May 2021
Simulating Tenderbake
Announcing a simulator for Tenderbake
ocaml
blockchain
25 February 2021
Monadic OCaml: Tezos
Understanding monads in OCaml: mixing promises and errors
ocaml
Company
About
Open Source
Careers
Contact Us
What we do
Strategy
Product Development
Platform Modernization
Digital Operations
Work
Insights
Modus Blog
Ospo Blog
Research
Innovation podcast
Connect with us
© 2024 Modus Create, LLC
Privacy Policy
Sitemap