Intrasti: jeremyjaydan

Cornell: Computer Science | Cornell Bowers www.cs.cornell.edu At Cornell Bowers, our computer science department drives innovation—from theory and cryptography to AI and sustainability, leading the future of technology.

Eff Programming Language www.eff-lang.org

Package Control - the Sublime Text package manager sublime.wbond.net

Psellos: Life So Short, the Craft So Long to Learn psellos.com Schnapsen is an excellent card game for two players. Quite a few years ago we wrote an iOS app in OCaml to play the game. More recently we revamped it as an app that runs in the browser—reproducing the graphics exactly, in a rectangle with the pixel dimensions of the original iPhone.One of the great things about OCaml and its strong static typing is that you can make modifications to your code with high confidence that it will keep working correctly. It was quite pleasant to rewrite the iOS app

Caml Works camlworks.github.io Functional programming for a wide audience

Welcome to MirageOS mirage.io MirageOS is a programming framework for building type-safe, modular systems.

Haifeng's Random Walk | See through noise haifengl.wordpress.com See through noise

Resource Aware ML raml.co Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs.

Unify your derivatives and structured products management | LexiFi www.lexifi.com LexiFi technology users quickly and easily create, book, price, and manage any structured investment product.

Homepage | ffConsultancy.com www.ffconsultancy.com

Welcome! | OCamlverse ocamlverse.github.io Documenting everything about OCaml

NekoVM nekovm.org

OCaml discuss.ocaml.org A friendly place to discuss OCaml: an industrial-strength programming language supporting functional, imperative and object-oriented styles

Caml Spotting camlspotter.blogspot.com

Rust Programming Language www.rust-lang.org A language empowering everyone to build reliable and efficient software.

Green Tea Press – Free books by Allen B. Downey www.greenteapress.com

Projects projects.camlcity.org

CompCert - Main page compcert.inria.fr [08/2026] CompCert 3.18 is available. This release improves the formal modeling of alignment constraints and the free() function, fixes a number of minor bugs, and adds full compatibility with Rocq 9.2.[03/2026] Qualification: the CompCert compiler was successfully qualified for the Multi-Function Computer New Generation (MFC_NG) of ATR 42/72 aircraft. For the first time, certification credits for compliance with DO-178C, DO-333, and DO-330 could be claimed for critical avionics software from

Esper Tech Blog – Engineers Talking About Programming espertech.wordpress.com Engineers Talking About Programming

Contact / Erratique erratique.ch Daniel Bünzli's contact information.

Mascot - Introduction mascot.x9c.fr Homepage of the Mascot project

Kotlin is Awesome! kotlin.link

Java decompiler online javadecompilers.com Java decompilers online: *JAD, *JDCore, *Procyon, *Fernflower, *CFR. ✓ A user interface to extract source code from .class and .jar ‘binary’ files.