Projects in Awesome Lists by OCamlPro
A curated list of projects in awesome lists by OCamlPro .
https://github.com/ocamlpro/owi
Symbolic execution for Wasm, C, C++, Rust and Zig
afl c concolic-execution constraints formatter fuzzer interpreter nlnet ocaml optimizer owi parallel rust smt solver symbolic-execution wasm wasm2wat wat2wasm webassembly
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
Last synced: 12 Jun 2025
https://github.com/OCamlPro/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
Last synced: 07 May 2025
https://github.com/ocamlpro/drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Last synced: 12 Jun 2025
https://github.com/OCamlPro/drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Last synced: 07 May 2025
https://github.com/OCamlPro/liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
blockchain liquidity michelson ocaml smart-contracts tezos
Last synced: 26 Mar 2025
https://github.com/ocamlpro/liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
blockchain liquidity michelson ocaml smart-contracts tezos
Last synced: 12 Jun 2025
https://github.com/ocamlpro/alt-ergo
OCamlPro public development repository for Alt-Ergo
satisfiability-modulo-theories
Last synced: 07 Apr 2026
https://github.com/OCamlPro/owi
WebAssembly Swissknife & cross-language bugfinder
afl c concolic-execution constraints formatter fuzzer interpreter nlnet ocaml optimizer owi parallel rust smt solver symbolic-execution wasm wasm2wat wat2wasm webassembly
Last synced: 26 Sep 2025
https://github.com/ocamlpro/ocaml-cheat-sheets
OCaml Documentations as one-pagers, easy to keep useful commands in mind
Last synced: 13 Feb 2026
https://github.com/OCamlPro/dirdiff
Efficiently compute the differences between two directories
Last synced: 17 Nov 2025
https://github.com/ocamlpro/dirdiff
Efficiently compute the differences between two directories
Last synced: 15 Mar 2026
https://github.com/ocamlpro/tryocaml
An interactive tutorial to begin learning with OCaml
Last synced: 26 Oct 2025
https://github.com/ocamlpro/ocp-index
Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ocaml-top
A simple cross-platform OCaml code editor built for top-level evaluation.
Last synced: 12 Jun 2025
https://github.com/OCamlPro/ocaml-top
A simple cross-platform OCaml code editor built for top-level evaluation.
Last synced: 26 Mar 2025
https://github.com/ocamlpro/ocaml-canvas
The OCaml-Canvas library provides a portable Canvas for OCaml
Last synced: 12 Jun 2025
https://github.com/ocamlpro/directories
directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG Base Directory Specification and xdg-user-dirs on Linux, Known Folders on Windows, Standard Directories on macOS.
basedir cache config conventions data directories knownfolders linux macos ocaml standard standarddirectories windows xdg
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ocpwin-distrib
Knowledge Database for OCamlPro's version of OCaml on Windows
Last synced: 11 Mar 2026
https://github.com/ocamlpro/gnucobol
A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/superbol-studio-oss
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
cobol emacs-mode lsp-server vscode-extension
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ocamlpro-ocaml-branch
This is a fork of the inline-more branch in the OCaml SVN repository.
Last synced: 15 Oct 2025
https://github.com/ocamlpro/ocaml-solidity
Ocaml-solidity provides a Solidity parser and typechecker
Last synced: 12 Jun 2025
https://ocamlpro.github.io/ocaml-solidity/
Ocaml-solidity provides a Solidity parser and typechecker
Last synced: 15 Apr 2025
https://github.com/ocamlpro/memthol
Memthol is a visualizer for memory profiling data generated from OCaml programs.
ocaml profiling rust visualization
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ocplib-json-typed
Libraries for reliable manipulation JSON objects.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ez_api
Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/typerex-lint
Tools to manipulate source files (linting, patching, etc.)
Last synced: 11 Sep 2025
https://github.com/ocamlpro/ocp-ocamlres
A simple tool and library to embed files and directories inside an OCaml executables
Last synced: 12 Jun 2025
https://github.com/OCamlPro/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Last synced: 22 Jul 2025
https://github.com/ocamlpro/ocplib-resto
A minimal OCaml library for type-safe HTTP/JSON RPCs
Last synced: 12 Jun 2025
https://github.com/ocamlpro/opam-bin
Binary packages for OPAM with local and remote repositories
Last synced: 12 Jun 2025
https://github.com/ocamlpro/techelson
A test execution engine for Michelson smart contracts.
liquidity michelson testing tezos
Last synced: 09 Mar 2026
https://github.com/ocamlpro/ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
Last synced: 11 Mar 2026
https://github.com/ocamlpro/agrid
agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding or removing row/column at either end (one at a time).
adjustable-grids array flexible-array grid ocaml spreadsheet two-dimensional
Last synced: 27 Jun 2025
https://github.com/ocamlpro/freeton_wallet
The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.
Last synced: 16 Jul 2025
https://github.com/ocamlpro/ocplib-endian
Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ezjs
Some useful libraries to work with `js_of_ocaml`
Last synced: 08 Aug 2025
https://github.com/ocamlpro/tzscan
The TzScan block explorer for Tezos
block-explorer blockchain tezos
Last synced: 31 Jan 2026
https://github.com/ocamlpro/ocaml-perf
binding for linux-perf library for OCaml
Last synced: 12 Jun 2025
https://github.com/ocamlpro/scilint
A tool to analyze Scilab projects to find potential bugs
Last synced: 12 Jun 2025
https://github.com/OCamlPro/ocaml-ancient
trial at reviving the ancient library
ancient ancient-heap mmap ocaml-library shared-memory shm
Last synced: 11 Jul 2026
https://github.com/ocamlpro/securocaml
Repository of the SecurOCaml Project
Last synced: 12 Jun 2025
https://github.com/ocamlpro/matla
A manager for TLA+ projects, written in Rust.
Last synced: 14 Jul 2025
https://github.com/ocamlpro/ocaml-ancient
trial at reviving the ancient library
ancient ancient-heap mmap ocaml-library shared-memory shm
Last synced: 07 Sep 2025
https://github.com/ocamlpro/operf-micro
A set of micro-benchmarks for OCaml compiler
Last synced: 12 Jun 2025
https://github.com/OCamlPro/matla
A manager for TLA+ projects, written in Rust.
Last synced: 09 May 2025
https://github.com/ocamlpro/ocp-typechecker
A tool to verify types inferred by OCaml
Last synced: 30 Jan 2026
https://github.com/ocamlpro/freeton_ocaml_sdk
A binding to the Everscale Rust library from OCaml.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/relocation-patches
A repository of patches to make OPAM packages relocatable
Last synced: 03 Jul 2025
https://github.com/OCamlPro/opam-wix
opam-wix is opam plugin that creates msi installation file to install packages and binaries on Windows.
Last synced: 10 Jul 2025
https://github.com/ocamlpro/ez_file
Library with helpers to manipulate files, read/write their content, search directories, etc.
Last synced: 27 Jun 2025
https://github.com/ocamlpro/opam-wix
opam-wix is opam plugin that creates msi installation file to install packages and binaries on Windows.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ez_search
Simple module to search in a set of files
Last synced: 12 Jun 2025
https://github.com/ocamlpro/operf-macro
Some macro-benchmarks for operf and an OPAM repository for them
Last synced: 10 Aug 2025
https://github.com/ocamlpro/ez_toml
A library to parse and print TOML files
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ocp-build
See www.typerex.org to download ocp-build
Last synced: 29 Oct 2025
https://github.com/ocamlpro/ocaml-benchs
Sources of the set of benchmarks distributed in OCamlPro/opam-bench-repo
Last synced: 12 Jun 2025
https://github.com/ocamlpro/typerex-lldb
An OCaml binding to the LLDB Debugging Framework
Last synced: 05 Mar 2026
https://github.com/ocamlpro/ows
A service to analyse the state of the opam repository w.r.t. all available version of the OCaml compiler.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ocp-reveal
An OCaml binding for reveal.js, a html presentation framework.
Last synced: 04 Jul 2025
https://github.com/ocamlpro/gnucobol-contrib
GIT Mirror of the GnuCOBOL contributions tree
Last synced: 29 Jan 2026
https://github.com/ocamlpro/ez_opam_file
a compatibility library for opam-file-format
Last synced: 12 Jun 2025
https://github.com/ocamlpro/jit_ocaml
A JIT in OCaml for Scilab (part of the Richelieu FUI project)
Last synced: 12 Jun 2025
https://ocamlpro.github.io/verification_for_dummies/
Induction as a formal program verification technique for the uninitiated, written in Rust.
Last synced: 09 May 2025
https://github.com/ocamlpro/richelieu
OCamlPro working copy of the Richelieu branch of Scilab 6
Last synced: 14 Feb 2026
https://github.com/ocamlpro/isn-ocaml
Les exemples de code de l'option ISN (Informatique & Sciences du Numérique) en OCaml
Last synced: 13 Jul 2026
https://github.com/ocamlpro/mikino
A simple induction and BMC engine in Rust.
Last synced: 01 Aug 2025
https://github.com/ocamlpro/verification_for_dummies
Induction as a formal program verification technique for the uninitiated, written in Rust.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/typerex-attic
A set of simple tools and libraries that we developed over the years for temporary OCaml projects. Most of them are only maintained/improved when we need them for a task.
Last synced: 28 Jun 2025
https://github.com/ocamlpro/cargo-graph
Display a graph from the Cargo packages in a Rust project
Last synced: 31 Dec 2025
https://github.com/ocamlpro/ocplib-cmi
Small library to work with OCaml cmi files
Last synced: 07 Sep 2025
https://github.com/ocamlpro/ocplib_stuff
This library contains some basic stuff that is used in some OCP libraries and applications. Most of them are probably available in other extensions of the standard libraries (extlib, core, etc.), but we are used to these ones.
Last synced: 12 Jun 2025
https://github.com/ocamlpro/ocamlc-plugins
Examples of plugins for ocamlc/ocamlopt
Last synced: 12 Jun 2025