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
The Elixir based Kubernetes Development Framework
💠 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
A library to synchronise records from the ETS tables between nodes
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
Apache CouchDB client in Erlang
Telemetry instrumentation for Cowboy
An Erlang Operating System for x86
Elixir embedded key/value database
A concolic testing tool for the Erlang functional programming language.
Erlang library to read sysctl-like configuration files