LGPL-2.1 License
Statistics for this project are still being loaded, please check back later.
Formal verification for OCaml
Tools to interact with why3 sessions
A script that integrates the output from bsb into vscode tasks using problem matchers
An extension for VS Code which provides support for the OCaml language.
OCaml Language Server Protocol implementation
a tiny tile-based editor
Hazel, a live functional programming environment with typed holes
Learn ReasonML with 24 exercises. No prior functional programming knowledge required.
OCaml debug adapter
A verification toolchain for Rust programs
Code coverage for OCaml and ReScript
🦅 cli syntax highlighting: any function - any object - 176 languages.
Ready up!
This plugin is providing support for OCaml in IntelliJ. It's based on ReasonML and intellij-rust....
A language server for reason, in reason