ioolkos's Projects
ACL2 System and Books as Maintained by the Community
Adopting Erlang is an ongoing effort to gather all the resources that will help you use Erlang in a business
Stand alone compiler for the Sophia smart contract language
A planet scale, highly available, transactional database built on CRDT technology
A load-generation and testing tool for basically whatever you can write a returning Erlang function for.
Erlang wrapper for OpenBSD's Blowfish password hashing code
Chess representation written in Erlang using Bitboards, ready for use on game servers
because you need another a key/value storage engine
LFE News/Updates Blog
💠 BPE: Business Process Engine
Concurrent and multi-stage data ingestion and data processing with Elixir
Apache Kafka client library for Erlang/Elixir
BSON documents in Erlang, see bsonspec.org
Computer Aided Integration of Requirements and Information Security - Server
Eclipse Capella dockerized with RDP functionality
A Causal-Consistent Reversible Debugger for Erlang
cbor encoder/decoder in Erlang
Pure Erlang implementation of ZeroMQ Message Transport Protocol.
GTK4/Libadwaita/WebKit2 bindings for Common Lisp.
Concuerror is a stateless model checking tool for Erlang programs.
Configuration reload manager for Erlang applications
Telemetry instrumentation for Cowboy
Elixir embedded key/value database
A concolic testing tool for the Erlang functional programming language.
Erlang library to read sysctl-like configuration files
Consistent hashing ring for Distributed Hash Tables (DHT)
Run MZBench in a Docker container
VerneMQ Docker image - Starts the VerneMQ MQTT broker and listens on 1883 and 8080 (for websockets).