fpom

snakes

SNAKES is the Net Algebra Kit for Editors and Simulators

codanim

Animated code & data structures with LaTeX/beamer

zinc

ZINC is a Net Compiler

badass

quickly produce bad assessments of good projects, but good assessments of bad projects

pytl

Python parser and translator for varied temporal logics

hrm

Human Resource Machine interpreter

beamer-stripes

Warming Stripes theme for LaTeX/beamer

cow

C over the Web: dead-simple C online programming

cunf-ptnet-py3

Python 3 port of Cunf/ptnet package

ecco

ECological COmputation

hyena

Hybrid Extensible Networks of Automata

nftoot

A bot to generate Non-Fungible Toots

pymc

blog-amc-c-assess

This repository holds the code to illustrate this blog post

beamer-frame-extract.vim

Vim plugin to extract the beamer frame under the cursor

blog-amc-python

This repository holds the code to illustrate this blog post

blog-badass

This repository holds the code to illustrate this blog post

copydetect

Code plagiarism detection tool

daddy

Data Decision Diagrams with a pythonic interface

ecofolder

Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.

fibocards

Generator for Fibonacci magic cards

Flask-SocketIO

Socket.IO integration for Flask applications.

had

Headers as Dependencies

libITS

Core Guarded Action Language and Instantiable Transition System semantics using libDDD.

mousse

plagiarism detection using MOSS with post-processing

PNSE-22

Supplementary material for paper "EDEN framework for interactive analysis of ecosystems models" submitted to PNSE'22

pyddd

A Python binding of libDDD

pyits

A Python binding of libITS

tree-sitter-c

C grammar for tree-sitter

xpra-html5

HTML5 client for Xpra