ahamez/pnmc ahamez/pnmc

  • Stars
    star
    9
  • Rank 1,880,795 (Top 39 %)
  • Language
    C++
  • License
    BSD 2-Clause "Sim...
  • Created over 10 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ahamez/pnmc
github

ahamez

Reviews

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

Repository Details

An efficient Petri net model checker using 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
255
star
2

ray-tracer

The Ray Tracer Challenge in Rust
Rust
33
star
3

varint

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

libsdd

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

secret_agent

An Elixir library to manage secrets
Elixir
6
star
6

progml

Programming Machine Learning book
Python
5
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

caesar.sdd

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

cpp8080

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

clox

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

battery_staple

Playing with PhΕ“nix LiveView
Elixir
1
star
15

adextract

Tool to extract AsciiDoc annotations from a source file.
Python
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