protox. A reasonably fast, easy to use and 100% conformant Elixir library for Google Protocol Buffers (aka protobuf)
296ray-tracer. The Ray Tracer Challenge in Rust
40varint. An Elixir library to compress integers using the Variable Length Encoding LEB128 compression.
13pnmc. An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
10secret_agent. An Elixir library to manage secrets rotation
8libsdd. A generic C++14 library for Hierarchical Set Decision Diagrams.
7progml. Programming Machine Learning book
6netcode. A C++11 network coding library.
6vault_ecto. Vault + Ecto = 🌈
3protohackers. Elixir solutions for https://protohackers.com
3caesar.sdd. An implementation of caesar.bdd using SDD
2adextract. Tool to extract AsciiDoc annotations from a source file.
2genetic. A take on the book "Genetic Algorithms in Elixir"
2milo. A wheelchair controlled by EEG brain signals and enhanced with assisted driving
2cpp8080. A 8080 emulator written in C++17.
1dot_hammerspoon. My Hammerspoon configuration 🥄🔨
1libcoredd. A C++ library to help implement Decision Diagrams Library
1battery_staple. Playing with Phœnix LiveView
1notary. Elixir
1clox. C++ version of the clox interpreter of "Crafting Interpreters"
1file_system. Filesystem monitor for elixir
1