- Haifeng's Random Walk | See through noise haifengl.wordpress.com See through noise 0 0
- Resource Aware ML raml.co Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs. 0 0
- 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. 0 0
- Homepage | ffConsultancy.com www.ffconsultancy.com 0 0
- Welcome! | OCamlverse ocamlverse.github.io Documenting everything about OCaml 0 0
- NekoVM nekovm.org 0 0
- OCaml discuss.ocaml.org A friendly place to discuss OCaml: an industrial-strength programming language supporting functional, imperative and object-oriented styles 0 0
- Caml Spotting camlspotter.blogspot.com 0 0
- Rust Programming Language www.rust-lang.org A language empowering everyone to build reliable and efficient software. 0 0
- Green Tea Press – Free books by Allen B. Downey www.greenteapress.com 0 0
- Projects projects.camlcity.org 0 0
- 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 0 0
- Esper Tech Blog – Engineers Talking About Programming espertech.wordpress.com Engineers Talking About Programming 0 0
- Contact / Erratique erratique.ch Daniel Bünzli's contact information. 0 0
- Mascot - Introduction mascot.x9c.fr Homepage of the Mascot project 0 0
- Kotlin is Awesome! kotlin.link 0 0
- 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. 0 0
- Retrospect Boot Manager retrospect.hackclub.com 0 0
- My Abandonware - Download Old Video Games www.myabandonware.com Database of 38240 free abandonware games. One of the most complete museum of 80s and 90s video games on DOS, Windows, Amiga, C64, consoles and more. 0 0
- Hecl - The Mobile Scripting Language www.hecl.org 0 0
- Extransit www.extransit.com 0 0
- Java Performance Tuning www.javaperformancetuning.com 0 0
- jcp.org jcp.org Welcome to jcp.org, home of the Java Community ProcessSM (JCPSM) Program. The JCP is the mechanism for developing standard technical specifications for Java technology. Anyone can register for the site and participate in reviewing and providing feedback for Java Specification Requests (JSRs), and anyone can sign up to become a JCP Member and then participate on the Expert Group of a JSR or even submit their own JSR Proposals. 0 0
- Home Page doi.org 0 0
