Pinned Repositories
libsdd
A generic C++14 library for Hierarchical Set Decision Diagrams.
netcode
A C++11 network coding library.
pnmc
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
progml
Programming Machine Learning book
protox
A fast, easy to use and 100% conformant Elixir library for Google Protocol Buffers (aka protobuf)
ray-tracer
The Ray Tracer Challenge in Rust
secret_agent
An Elixir library to manage secrets
varint
An Elixir library to compress integers using the Variable Length Encoding LEB128 compression.
vault_ecto
Vault + Ecto = 🌈
ahamez's Repositories
ahamez/adextract
Tool to extract AsciiDoc annotations from a source file.
ahamez/caesar.sdd
An implementation of caesar.bdd using SDD
ahamez/libcoredd
A C++ library to help implement Decision Diagrams Library
ahamez/notary
ahamez/expatSML
ExpatSML is a Standard ML wrapper for the expat library (http://www.libexpat.org), using MLton foreign intefaces (FFIs)
ahamez/frac-binary
ahamez/homebrew-personal
My personal formulae for homebrew
ahamez/mqtt-paho
ahamez/netexplorer
A synchronization client for the netexplorer platform
ahamez/paho.mqtt.c
Paho project repository (paho.mqtt.c). This is a mirror of the main Eclipse Git repository and issues should be reported via Eclipse Bugzilla.
ahamez/postdump
Very simple Elixir server to log POST requests
ahamez/proto-dd
A Proto-DD library.
ahamez/resthello
"Hello world" with some web frameworks
ahamez/rumbl
Project from "Programming Phœnix"
ahamez/scrape_hwg_ste
A never finished scraper for the HWg-STE plus sensor
ahamez/smldd
A StandardML library for SDD
ahamez/todo
An Elixir playground