saulecabrera / leibnizView external linksLinks
Math expression parser and evaluator
☆23May 6, 2018Updated 7 years ago
Alternatives and similar repositories for leibniz
Users that are interested in leibniz are comparing it to the libraries listed below
Sorting:
- An implementation of the reversible semantics for Erlang.☆13Nov 9, 2017Updated 8 years ago
- Cutting the Gordian knot of blocking calls between OTP processes☆18Oct 14, 2018Updated 7 years ago
- A little Erlang library for executing task dependency graphs☆33May 4, 2022Updated 3 years ago
- Dependency Updater for rebar3-based Erlang Projects☆21May 16, 2025Updated 8 months ago
- Macros defined per Erlang/OTP version so you don't have to.☆17Apr 22, 2020Updated 5 years ago
- Static typechecker for Erlang☆58Updated this week
- Erlang Declarative Debugger☆20Jul 22, 2020Updated 5 years ago
- ☆20Jul 23, 2025Updated 6 months ago
- Make retrieving configuration parameters super fast(7x faster than application:get_env)and stable.☆38Sep 4, 2018Updated 7 years ago
- Rebar3 plugin to build docker images☆19Mar 29, 2025Updated 10 months ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- A rebar3 gpb rpc plugin for compiling .proto files☆14Aug 16, 2019Updated 6 years ago
- An ABNF parser generator for Erlang.☆46Nov 9, 2022Updated 3 years ago
- QUIC carrier for Erlang Distribution Protocol☆47Jul 30, 2022Updated 3 years ago
- An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM☆10Jun 7, 2017Updated 8 years ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Aug 11, 2020Updated 5 years ago
- RSASSA-PSS Public Key Cryptographic Signature Algorithm for Erlang and Elixir.☆12Jul 28, 2019Updated 6 years ago
- A rebar3 plugin for simplifying Erlang development for AtomVM☆12Dec 21, 2025Updated last month
- An implementation of the CBOR data encoding format in Erlang.☆14May 4, 2021Updated 4 years ago
- An Erlang OTP application for load shedding☆26May 16, 2025Updated 8 months ago
- Interval tree with self-balancing AVL tree☆11Feb 3, 2018Updated 8 years ago
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Sep 14, 2016Updated 9 years ago
- PersistentVector is an array-like collection of values indexed by contiguous 0-based integer index☆15Oct 5, 2017Updated 8 years ago
- A library to test Erlang documentation☆16Apr 3, 2025Updated 10 months ago
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆12Dec 2, 2021Updated 4 years ago
- A workshop at CodeBEAM America 2024 showcasing custom hardware and Erlang-based firmware development using AtomVM.☆14Nov 18, 2024Updated last year
- SecEr: Erlang Code Evolution Control Tool☆12Jul 26, 2022Updated 3 years ago
- Erlang lazy lists library.☆39Jun 6, 2017Updated 8 years ago
- Kicad sketches for solar charger for 3.2v LiFePo4 batteries☆37May 3, 2021Updated 4 years ago
- A backend system for event logging, real time analisys and decision assistance.☆21Apr 1, 2013Updated 12 years ago
- Links to recourses for the Lean Theorem Prover☆12Dec 3, 2019Updated 6 years ago
- Erlang node discovery and connection/reconnection☆21Dec 15, 2024Updated last year
- collection of hash functions for Erlang applications☆13Aug 3, 2018Updated 7 years ago
- OpenAPI server handler for Cowboy: erlang http server☆13Dec 22, 2025Updated last month
- Cinched is a microservice to provide cryptographic and key management operations.☆10Feb 20, 2016Updated 9 years ago
- Simple way to build a lot of Erlang on a single machine☆14Jul 26, 2025Updated 6 months ago
- A scalable RPC library for Erlang-VM based languages☆17Jan 11, 2026Updated last month
- Elixir wrapper for Snap7☆15Mar 15, 2025Updated 11 months ago
- A custom formatter for the Erlang logger application that turns maps into single line text logs☆54Aug 17, 2022Updated 3 years ago