[WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.
☆16Aug 27, 2019Updated 7 years ago
Alternatives and similar repositories for obeam
Users that are interested in obeam are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Apr 8, 2017Updated 9 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 3 years ago
- Verification Framework for Actor Systems on Coq☆30Jul 2, 2018Updated 8 years ago
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated 2 years ago
- ☆10Apr 5, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- Docker images for SATySFi and Satyrographos☆26Jun 23, 2026Updated 4 months ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 8 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 3 years ago
- ☆17Nov 15, 2019Updated 6 years ago
- The Egison tutorial☆15Dec 18, 2021Updated 4 years ago
- complementary collection of useful functions and modules for SATySFi☆32Apr 7, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Swift library for Buffers, Arrays, Bits and Bytes.☆13Jul 23, 2022Updated 4 years ago
- A functional programming language with polymorphic algebraic effects, handlers, and signature restriction☆13Jun 27, 2020Updated 6 years ago
- Creative coding framework for Python☆13Oct 5, 2022Updated 4 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Dec 19, 2020Updated 5 years ago
- rcaml is an OCaml implementation in Rust☆63Dec 25, 2017Updated 8 years ago
- ☆14Sep 2, 2021Updated 5 years ago
- ☆11Dec 16, 2019Updated 6 years ago
- [WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.☆13Dec 3, 2020Updated 5 years ago
- Erlang source code parser written in Rust☆11Aug 26, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Multiparty Session Types in OCaml☆62Nov 1, 2024Updated last year
- A Local Name Registration Facility for Erlang☆12Mar 24, 2022Updated 4 years ago
- OCaml bindings to libssh☆14Jan 3, 2016Updated 10 years ago
- Arrow based stream transducer☆20Jun 21, 2020Updated 6 years ago
- An Erlang source code tokenizer written in Rust.☆13Aug 22, 2026Updated 2 months ago
- OCaml の日本語での情報☆94Oct 3, 2018Updated 8 years ago
- Backport new syntax to older compilers☆14Dec 9, 2019Updated 6 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 10 years ago
- Documents☆13May 6, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 9 years ago
- Example use of GitHub Actions with OCaml☆35Jun 22, 2026Updated 4 months ago
- Erlang External Term Format for OCaml☆29Oct 27, 2023Updated 3 years ago
- A SATySFi package to build simple tables.☆17Apr 30, 2022Updated 4 years ago
- Run Wandbox(http://melpon.org/wandbox/) in CLI.☆12Jul 20, 2015Updated 11 years ago
- An implementation of SEPARO, a board game, with Monte Carlo Tree Search algorithm in Rust/wasm.☆20Sep 27, 2020Updated 6 years ago
- A fault-aware model checker for message passing systems☆16Aug 20, 2014Updated 12 years ago