ahamez/libsdd ahamez/libsdd

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    C++
  • License
    BSD 2-Clause "Sim...
  • Created about 12 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ahamez/libsdd
github

ahamez

Reviews

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

Repository Details

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

More Repositories

1

protox

A fast, easy to use and 100% conformant Elixir library for Google Protocol Buffers (aka protobuf)
Elixir
265
star
2

ray-tracer

The Ray Tracer Challenge in Rust
Rust
36
star
3

varint

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

pnmc

An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
C++
9
star
5

secret_agent

An Elixir library to manage secrets
Elixir
7
star
6

progml

Programming Machine Learning book
Python
6
star
7

netcode

A C++11 network coding library.
C++
5
star
8

vault_ecto

Vault + Ecto = 🌈
Elixir
3
star
9

genetic

A take on the book "Genetic Algorithms in Elixir"
Elixir
2
star
10

protohackers

Elixir solutions for https://protohackers.com
Elixir
2
star
11

adextract

Tool to extract AsciiDoc annotations from a source file.
Python
2
star
12

caesar.sdd

An implementation of caesar.bdd using SDD
C++
2
star
13

cpp8080

A 8080 emulator written in C++17.
C++
2
star
14

clox

C++ version of the clox interpreter of "Crafting Interpreters"
C++
1
star
15

battery_staple

Playing with Phœnix LiveView
Elixir
1
star
16

pento

A take on the book "Programming Phoenix LiveView"
Elixir
1
star
17

notary

Elixir
1
star
18

libcoredd

A C++ library to help implement Decision Diagrams Library
C++
1
star