[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
Alternatives and similar repositories for obeam
Users that are interested in obeam are comparing it to the libraries listed below
Sorting:
- ☆15Apr 8, 2017Updated 8 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 7 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆18Jan 20, 2025Updated last year
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated last year
- Docker images for SATySFi and Satyrographos☆26Dec 11, 2025Updated 2 months ago
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 8 years ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 7 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 2 years ago
- Erlang External Term Format for OCaml☆29Oct 27, 2023Updated 2 years ago
- ☆14Sep 2, 2021Updated 4 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated last year
- A BERT serializer and BERT-RPC client for .Net, written in F#☆29Apr 4, 2016Updated 9 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- A b-tree implementation for Mirage BLOCK devices☆15Oct 15, 2016Updated 9 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- Run an OCaml program as an erlang node☆29Mar 25, 2016Updated 9 years ago
- A Skew Binomial Heap for Erlang.☆15Jun 22, 2011Updated 14 years ago
- rcaml is an OCaml implementation in Rust☆63Dec 25, 2017Updated 8 years ago
- Fingertrees of Bytestrings☆19Dec 3, 2018Updated 7 years ago
- ZestDB☆18Nov 26, 2018Updated 7 years ago
- Owl's Parallel & Distributed Computing Engine☆29Jan 9, 2019Updated 7 years ago
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- edn format parser for the erlang platform☆28Nov 29, 2018Updated 7 years ago
- An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.☆20Sep 27, 2020Updated 5 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 2 years ago
- Paxos based masterless ID/Sequence generator.☆20Jun 25, 2019Updated 6 years ago
- Code using GADT☆39Apr 5, 2021Updated 4 years ago
- ☆18Nov 15, 2019Updated 6 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- OCamlOScope 2 : OCaml API search☆43Oct 12, 2017Updated 8 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 years ago
- A simple OCaml client for Google Services.☆96Jan 3, 2026Updated 2 months ago
- A logging handler that can transforms structured logs into opencensus distributed tracing spans☆25Jul 22, 2019Updated 6 years ago
- Package manager for SATySFi☆48Sep 25, 2023Updated 2 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆28Feb 11, 2020Updated 6 years ago
- rebar3 Clojerl compiler plugin☆27Aug 29, 2021Updated 4 years ago
- Materials for category theory seminar☆28Jul 30, 2025Updated 7 months ago