[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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆19Apr 29, 2026Updated 2 months ago
- ☆15Apr 8, 2017Updated 9 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 8 years ago
- Programs for checking the ρ property☆17Feb 28, 2021Updated 5 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [WIP] Faster Implementation of Dialyzer☆56Apr 4, 2024Updated 2 years ago
- Docker images for SATySFi and Satyrographos☆26Jun 23, 2026Updated 3 weeks ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 2 years ago
- A simple command line tool for statistical calculation☆10May 12, 2018Updated 8 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 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
- Swift library for Buffers, Arrays, Bits and Bytes.☆13Jul 23, 2022Updated 3 years ago
- 進捗大陸で使用されたSATySFiファイル☆12May 22, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Erlang source code parser written in Rust☆10May 21, 2026Updated 2 months ago
- rcaml is an OCaml implementation in Rust☆63Dec 25, 2017Updated 8 years ago
- ☆14Sep 2, 2021Updated 4 years ago
- ☆11Dec 16, 2019Updated 6 years ago
- Program that translates OCaml into C language☆39Apr 3, 2015Updated 11 years ago
- OCamlOScope 2 : OCaml API search☆43Oct 12, 2017Updated 8 years ago
- OCaml bindings to libssh☆14Jan 3, 2016Updated 10 years ago
- OCaml の日本語での情報☆95Oct 3, 2018Updated 7 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Package manager for SATySFi☆48Sep 25, 2023Updated 2 years ago
- Erlang External Term Format for OCaml☆29Oct 27, 2023Updated 2 years ago
- Run Wandbox(http://melpon.org/wandbox/) in CLI.☆12Jul 20, 2015Updated 11 years ago
- Example use of GitHub Actions with OCaml☆35Jun 22, 2026Updated last month
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 8 years ago
- A SATySFi package to build simple tables.☆17Apr 30, 2022Updated 4 years ago
- A fault-aware model checker for message passing systems☆16Aug 20, 2014Updated 11 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 SIMD intrinsics library for the Raspberry Pi's Broadcom VideoCore IV GPU☆13May 9, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆11May 31, 2024Updated 2 years ago
- mizumochi is a tool to simulate unstable disk I/O for testing stability/robustness of system.☆36Oct 28, 2020Updated 5 years ago
- The manuscript for The SATySFibook (1st edition for the Web)☆36Aug 27, 2024Updated last year
- Unicode text for OCaml☆14Feb 19, 2018Updated 8 years ago
- Fingertrees of Bytestrings☆20Dec 3, 2018Updated 7 years ago
- A b-tree implementation for Mirage BLOCK devices☆15Oct 15, 2016Updated 9 years ago
- MessagePack for OCaml/Coq☆15Feb 24, 2013Updated 13 years ago