[WIP] Faster Implementation of Dialyzer
☆56Apr 4, 2024Updated last year
Alternatives and similar repositories for fialyzer
Users that are interested in fialyzer are comparing it to the libraries listed below
Sorting:
- [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.☆16Aug 27, 2019Updated 6 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- Supervised Session Actors☆22Jul 6, 2016Updated 9 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 2 years ago
- opam plugin to automatically populate opam file at install command☆10Mar 7, 2024Updated last year
- An ML-like statically-typed Erlang☆157Oct 6, 2023Updated 2 years ago
- Erlang External Term Format for OCaml☆29Oct 27, 2023Updated 2 years ago
- A tool that creates stand-alone source bundles from opam packages☆27May 24, 2023Updated 2 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year
- ☆21Mar 6, 2019Updated 6 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 6 years ago
- ☆13Feb 28, 2022Updated 4 years ago
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- HTTP toolkit for OCaml (unreleased)☆19Feb 13, 2026Updated 2 weeks ago
- Implementation of some Erlang primitives in OCaml☆11Jun 16, 2017Updated 8 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 3 years ago
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Oct 25, 2019Updated 6 years ago
- QR code encoder for OCaml☆36Feb 13, 2026Updated 2 weeks ago
- Multiparty Session Types in OCaml☆59Nov 1, 2024Updated last year
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Dec 3, 2020Updated 5 years ago
- Documenting how OCaml libraries are managed☆11Oct 4, 2019Updated 6 years ago
- Code using GADT☆39Apr 5, 2021Updated 4 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Nov 25, 2019Updated 6 years ago
- Dissect OCaml compiled programs, and weight their content☆25Nov 2, 2022Updated 3 years ago
- Run an OCaml program as an erlang node☆29Mar 25, 2016Updated 9 years ago
- Result value combinators for OCaml☆36Nov 6, 2023Updated 2 years ago
- Backport new syntax to older compilers☆14Dec 9, 2019Updated 6 years ago
- a solver for opam packages using 0install's solver engine☆22Jul 22, 2025Updated 7 months ago
- Thrift library for OCaml extracted from Thrift sources☆17Jun 10, 2024Updated last year
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- Yet another ActivityPub server implementation written in OCaml☆49Dec 25, 2025Updated 2 months ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Jan 20, 2025Updated last year
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16May 30, 2022Updated 3 years ago
- A small router to write easily single-page-app in Js_of_ocaml☆23Feb 13, 2020Updated 6 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 7 years ago
- A toolchain to check for broken opam packages☆21May 26, 2025Updated 9 months ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago