ahamez/libcoredd

Stars
1
Language
C++
License
BSD 2-Clause "Sim...
Created over 8 years ago
Updated over 8 years ago

ahamez/libcoredd

ahamez

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A C++ library to help implement Decision Diagrams Library

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

varint

An Elixir library to compress integers using the Variable Length Encoding LEB128 compression.

pnmc

An efficient Petri net model checker using Hierarchical Set Decision Diagrams.

libsdd

A generic C++14 library for Hierarchical Set Decision Diagrams.

secret_agent

An Elixir library to manage secrets

progml

Programming Machine Learning book

netcode

A C++11 network coding library.

vault_ecto

Vault + Ecto = 🌈

genetic

A take on the book "Genetic Algorithms in Elixir"

protohackers

Elixir solutions for https://protohackers.com

caesar.sdd

An implementation of caesar.bdd using SDD

cpp8080

A 8080 emulator written in C++17.

clox

C++ version of the clox interpreter of "Crafting Interpreters"

battery_staple

Playing with Phœnix LiveView

adextract

Tool to extract AsciiDoc annotations from a source file.

pento

A take on the book "Programming Phoenix LiveView"

notary