kvakvs / Ironclad.oldView external linksLinks
A RUSTy fusion of OTP lib/dialyzer and lib/compiler empowering regular Erlang with type inference
☆35Sep 20, 2022Updated 3 years ago
Alternatives and similar repositories for Ironclad.old
Users that are interested in Ironclad.old are comparing it to the libraries listed below
Sorting:
- Curated BEAM language libraries by category☆27Jan 23, 2024Updated 2 years ago
- An Erlang/OTP library to mock registered processes☆16Jun 14, 2024Updated last year
- ☆13Feb 3, 2026Updated last week
- Erlang DTrace consumer☆23May 26, 2017Updated 8 years ago
- Splice 2 sockets together in Erlang☆11Feb 10, 2022Updated 4 years ago
- Prototype implementation of the security analysis introduced in V. Fördős: Secure Design and Verification of Erlang Systems paper☆12Aug 13, 2021Updated 4 years ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- A high performant Erlang NIF Priority Queue implemented using a binary heap☆21Aug 18, 2025Updated 5 months ago
- SecEr: Erlang Code Evolution Control Tool☆12Jul 26, 2022Updated 3 years ago
- An Erlang Tuple Space implementation☆10Nov 22, 2025Updated 2 months ago
- ☆10Dec 22, 2021Updated 4 years ago
- General balanced binary Merkle trees for Erlang☆22Oct 7, 2018Updated 7 years ago
- Bluetooth api for Erlang☆15Dec 22, 2025Updated last month
- ☆12Feb 6, 2026Updated last week
- Tiny library/OTP app for credential obfuscation☆12Mar 25, 2025Updated 10 months ago
- A library that implements the sagas pattern for Erlang☆71Oct 5, 2019Updated 6 years ago
- Erlang utility modules☆45Aug 4, 2024Updated last year
- ☆13Jun 10, 2021Updated 4 years ago
- Erlang client for Antidote☆15May 27, 2022Updated 3 years ago
- B-tree storage of sets with configurable I/O, implemented in Erlang.☆12Jul 5, 2024Updated last year
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- A model of a distributed Erlang network within a single VM.☆14Mar 21, 2023Updated 2 years ago
- KSUID generation and manipulation in Erlang.☆11Jul 26, 2022Updated 3 years ago
- An Erlang library for notification of events on file descriptors☆21Jun 14, 2024Updated last year
- ☆17Dec 5, 2020Updated 5 years ago
- Erlang TCP/IP Stack☆16Nov 17, 2019Updated 6 years ago
- traverse erlang ast and elixir macro in erlang.☆17Jan 23, 2026Updated 3 weeks ago
- A few thought experiments solidified as code.☆22Updated this week
- An in-memory caching server for Erlang☆20Jan 27, 2025Updated last year
- A semantic search tool for Erlang that supports large code-bases.☆49May 5, 2025Updated 9 months ago
- Libp2p bindings for Gerbil☆16Mar 12, 2022Updated 3 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Jul 8, 2021Updated 4 years ago
- ☆18Oct 15, 2025Updated 4 months ago
- A rebar plugin for running custom commands☆16Jun 14, 2021Updated 4 years ago
- Collection of utilities for trace-based testing☆45Jun 20, 2022Updated 3 years ago
- A simple tty interface to the Erlang debugger and tracer.☆92Jan 23, 2025Updated last year
- An ML-like statically-typed Erlang☆157Oct 6, 2023Updated 2 years ago
- A wrapper for tracing test runs using TTB☆16Apr 24, 2025Updated 9 months ago
- An erlang ETS based rate limiter inspired by Jobs☆16Jul 13, 2021Updated 4 years ago