Verifier of Lifted Pascal in Coq
-
Updated
Jun 9, 2024 - OpenEdge ABL
OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.
Verifier of Lifted Pascal in Coq
A bare-bones blog relying only on simple scripts.
My personal website
GitHub Action for the OCaml programming language
A WIP programming language inspired by ML and powered by LLVM
DBCaml is a database library for OCaml
Static analysis framework for C
Performant type-checking for python.
Github test mirror of the Octez software. Please do not submit pull-requests here!
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
A Protobuf Compiler for OCaml
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Created by Xavier Leroy
Released 1996
Latest release 27 days ago