mseri 的提交内容

Onivim2: Status of the Project

Elements of Differential Geometry in Lean: A Report for Mathematicians

Dating first cases of Covid-19 (PLOS pathogens)

Dirsp-exchange: auditable Signal Protocol and ProScript-to-OCaml translator

OCaml-pandoc: a native OCaml library to write filters for pandoc

Docs.ocaml.pro: An OCaml Documentation Hub

Asymptotics and perturbation methods – Prof. Steven Strogatz

Finding Mona Lisa in the Game of Life

What does the perfect tiramisu reveal about chemistry?

The Evolution of a Research Paper

A Complete Guide to LLVM for Programming Language Creators

Multicore OCaml – what is coming in 2021

A taste of OCaml predictable performances

The iOS Covid App Ecosystem Has Become a Privacy Minefield

Reflections on my first completed application in OCaml

OCaml helps uncovering a lock bug in glibc

Learning with Differentiable Perturbed Optimizers

Optimized finite-build stellarator coils using automatic differentiation

Functional Programming and Property-Based Testing