OCaml

Merlin package for Sublime Text 3

📐Reason/OCaml rules and tools for Bazel

An improved OCaml docset for Dash.

Je souhaite répondre à la question suivante : peut on coder avec OCaml, Python et C par SMS ? Oui ! Attention, proof of concept à héberger soi-même localement, et c'est payant avec Twilio.com, et très expérimental ! Mais amusant !

A curated list of awesome frameworks, libraries, tools, and resources for the OCaml programming language.

Grid-based trading bot for Kraken, optimizing market volatility through automated trading and staking.

A GraphQL server prototyped in many languages

OpenCV bindings for OCaml.

BRIDGE is a framework for program verification and synthesis in Lean.

My solutions to Project Euler problems in several programming languages

A simple programming language inspired by Ocaml, based on non-typed lambda calculi.

A (not so great) Python implementation of OCaml

Replay recorded web sessions, check for fidelity

Personal workspace. Years of code shouldn't be lost.

[2023 unimi] Notes and material for "Linguaggi di programmazione": OCaML, Erlang and Scala course at unimi.

Machiavelli Solver in ocaml

University intro. course to software development

Benchmarking Symbolic Execution tools for Wasm

Compare size of compiled languages

Solving programming problems in Advent of Code while practising various languages