Meet odoc, OCaml's Documentation Generator

Effective documentation is a cornerstone of software development. It helps developers understand how to use a language, its libraries, and…

10 Jan 2024

Tarides

Read Article
Verifying an Effect-Based Cooperative Concurrency Scheduler in Iris by Adrian Dapprich

Lightweight asynchronous programming (using futures, goroutines or green threads) has been widely adopted to organize programs with many concurrent tasks, more than are traditionally feasible with thread-per-task models of concurrency. With the...

09 Jan 2024

Watch OCaml

View Video
Verifying an Effect-Based Cooperative Concurrency Scheduler in Iris by Adrian Dapprich

Lightweight asynchronous programming (using futures, goroutines or green threads) has been widely adopted to organize programs with many concurrent tasks, more than are traditionally feasible with ...

09 Jan 2024

Watch OCaml

Read Article
Introducing the OCaml Local Mode | OCaml Unboxed

This video introduces how to make and use local parameters in OCaml. As demonstrated in the video, a local parameter to a function is not allowed to be stored or returned. Using local parameters can allow us to allocate less garbage-collected memory, as later videos will demonstrate. View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions

05 Jan 2024

Jane Street - OCaml Unboxed

View Video
Introducing the OCaml Local Mode | OCaml Unboxed

This video introduces how to make and use local parameters in OCaml. As demonstrated in the video, a local parameter to a function is not allowed to be stored or returned. Using local parameters can allow us to allocate less garbage-collected memory, as later videos will demonstrate. View instructions to get the compiler I use in this video: https://github.com/janestreet/opam-repository/tree/with-extensions

05 Jan 2024

Jane Street - OCaml Unboxed

View Video
Parsing with Binary String Pattern Matching

If you've ever had to parse anything, (anything really), I want to show you a glimpse of what it could look like when you parse it binary string pattern matching in OCaml like you'd do on Erlang, Elixir, or Gleam.

31 Dec 2023

Practical OCaml

Read Article
Announcing the ORCHIDE Project: Powering Satellite Innovation

It has been a few months since we announced our new product for both older and newer models of satellites: SpaceOS. Since then, there have…

29 Dec 2023

Tarides

Read Article