-
protox Public
A fast, easy to use and 100% conformant Elixir library for Google Protocol Buffers (aka protobuf)
-
pnmc Public
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
-
secret_agent Public
An Elixir library to manage secrets rotation
-
varint Public
An Elixir library to compress integers using the Variable Length Encoding LEB128 compression.
-
-
-
nats.docs Public
Forked from nats-io/nats.docsNATS.io Documentation on Gitbook
HTML Apache License 2.0 UpdatedMay 27, 2024 -
vault_ecto Public
Vault + Ecto = 🌈
-
file_system Public archive
Forked from falood/file_systemFilesystem monitor for elixir
-
-
-
protohackers Public
Elixir solutions for https://protohackers.com
-
-
progml Public
Programming Machine Learning book
-
cpp8080 Public
A 8080 emulator written in C++17.
-
clox Public
C++ version of the clox interpreter of "Crafting Interpreters"
-
ray-tracer Public
The Ray Tracer Challenge in Rust
-
-
libdmc Public archive
Archive of a C++ library for parallel and distributed model-checking
C++ UpdatedApr 12, 2022 -
concurrent_data_processing Public
A take on the book "Concurrent Data Processing in Elixir"
Elixir UpdatedSep 1, 2021 -
-
-
libsdd Public
A generic C++14 library for Hierarchical Set Decision Diagrams.
-
gdrive_security Public archive
An aborted attempt at a tool to improve GDrive security
Elixir UpdatedNov 11, 2020 -
-
-
netcode Public
A C++11 network coding library.
-
-
milo Public archive
Forked from NTX-McGill/NeuroTechX-McGill-2019A wheelchair controlled by EEG brain signals and enhanced with assisted driving
-