[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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- [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
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Dec 3, 2020Updated 5 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Jan 20, 2025Updated last year
- Supervised Session Actors☆22Jul 6, 2016Updated 9 years ago
- An ML-like statically-typed Erlang☆157Oct 6, 2023Updated 2 years ago
- Multiparty Session Types in OCaml☆59Nov 1, 2024Updated last year
- ☆13Feb 28, 2022Updated 4 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 2 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 7 years ago
- QR code encoder for OCaml☆36Feb 13, 2026Updated last month
- Erlang External Term Format for OCaml☆29Oct 27, 2023Updated 2 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 2 years ago
- Documenting how OCaml libraries are managed☆11Oct 4, 2019Updated 6 years ago
- Yet another ActivityPub server implementation written in OCaml☆49Dec 25, 2025Updated 2 months ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 3 years ago
- opam plugin to automatically populate opam file at install command☆10Mar 7, 2024Updated 2 years ago
- Result value combinators for OCaml☆36Nov 6, 2023Updated 2 years ago
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Sep 2, 2024Updated last year
- HTTP toolkit for OCaml (unreleased)☆19Mar 13, 2026Updated last week
- An implementation of some 0MQ RFCs in OCaml for MirageOS☆11May 20, 2019Updated 6 years ago
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- Thrift library for OCaml extracted from Thrift sources☆17Jun 10, 2024Updated last year
- ☆21Mar 6, 2019Updated 7 years ago
- Code using GADT☆39Apr 5, 2021Updated 4 years ago
- OCamlOScope 2 : OCaml API search☆43Oct 12, 2017Updated 8 years ago
- Example use of GitHub Actions with OCaml☆36Mar 2, 2026Updated 3 weeks ago
- Implementation of some Erlang primitives in OCaml☆11Jun 16, 2017Updated 8 years ago
- Logging module for OCaml☆11Aug 1, 2021Updated 4 years ago
- OCaml extension for a Go-ish [%defer ...] syntax☆16May 30, 2022Updated 3 years ago
- a solver for opam packages using 0install's solver engine☆22Jul 22, 2025Updated 8 months ago
- Backport new syntax to older compilers☆14Dec 9, 2019Updated 6 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Nov 25, 2019Updated 6 years ago
- A library that implements the websocket protocol on top of Async☆14Jan 15, 2026Updated 2 months ago
- A tool that creates stand-alone source bundles from opam packages☆27May 24, 2023Updated 2 years ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- Monadic effects and equational reasoning in Rocq☆75Updated this week
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago