Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by OCamlPro
A curated list of projects in awesome lists by OCamlPro .
https://github.com/OCamlPro/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
Last synced: 03 Aug 2024
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: 03 Aug 2024
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: 31 Jul 2024
https://github.com/OCamlPro/ocaml-top
A simple cross-platform OCaml code editor built for top-level evaluation.
Last synced: 31 Jul 2024
https://ocamlpro.github.io/ocaml-solidity/
Ocaml-solidity provides a Solidity parser and typechecker
Last synced: 01 Aug 2024
https://github.com/OCamlPro/matla
A manager for TLA+ projects, written in Rust.
Last synced: 03 Aug 2024
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: 04 Aug 2024
https://ocamlpro.github.io/verification_for_dummies/
Induction as a formal program verification technique for the uninitiated, written in Rust.
Last synced: 03 Aug 2024
https://github.com/OCamlPro/mikino
A simple induction and BMC engine in Rust.
Last synced: 03 Aug 2024