Building Petri Nets in Javascript using Interaction Category semantics
☆14Feb 1, 2017Updated 9 years ago
Alternatives and similar repositories for Petrix
Users that are interested in Petrix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- elm-yesod contains the Language.Elm.Yesod module for embedding Elm code in Yesod applications.☆15Mar 3, 2013Updated 13 years ago
- A C/C++ PetriNet simulator (aka non-UI CPN Tools)☆11Mar 24, 2017Updated 9 years ago
- Next-generation end-to-end low code language based on Petri nets.☆22Updated this week
- Shell script for managing cabal-dev sandboxes☆12May 15, 2012Updated 14 years ago
- EDSL for Stencil Computations in Haskell☆12Feb 5, 2014Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A lightweight Java library that reads and writes "vobject" data (vCard and iCalendar).☆12Updated this week
- A Java library for binary coding☆13Oct 12, 2020Updated 6 years ago
- Basic boilerplate for snap using OpenId, Digestive Functors, Etc.☆18Aug 12, 2013Updated 13 years ago
- Some examples about how to use sensor simulator with Android emulator☆15Oct 6, 2014Updated 12 years ago
- Makefile inspired export from SVG files using Inkscape as backend with some added smartness.☆25Aug 30, 2021Updated 5 years ago
- Compositional pipelines☆19Aug 15, 2012Updated 14 years ago
- Documentación Proyecto De Grado☆20Apr 15, 2013Updated 13 years ago
- A simple permissions library in Clojure☆12Apr 10, 2021Updated 5 years ago
- Fay integration for Snap that provides automatic (re)compilation during development☆20Jan 11, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- V8 ahead-of-time compilation project☆15Oct 23, 2022Updated 4 years ago
- Clone of JSAI static analysis framework☆12Jul 29, 2017Updated 9 years ago
- contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method☆19Jan 25, 2017Updated 9 years ago
- Tidy handling and navigation of the valuable Student-Life mHealth dataset☆25Apr 22, 2021Updated 5 years ago
- Example automatic differentiation code in Scala☆31Jun 22, 2020Updated 6 years ago
- An example app using Sinatra's Hat, acts-as-fu, and SemiFormal☆10Feb 5, 2009Updated 17 years ago
- just to keep a version of my code as I attempt to learn haskell.☆23May 3, 2016Updated 10 years ago
- Snap.svg Box2d plugin☆11Nov 16, 2013Updated 12 years ago
- Convert to/from json and xliff☆10Apr 3, 2014Updated 12 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Doing research on top of Jalangi☆12Sep 9, 2016Updated 10 years ago
- A local git repository using any pluggable backend.☆14Jun 25, 2013Updated 13 years ago
- Project template of Cumulo☆14Jun 22, 2026Updated 4 months ago
- APT – Analysis of Petri nets and labelled transition systems☆19Feb 28, 2026Updated 8 months ago
- Stub clojure multi-method bodies☆13Jun 3, 2020Updated 6 years ago
- ☆10Sep 23, 2016Updated 10 years ago
- Tonfa.js is a glue library between CanJS and jQueryMobile☆11May 5, 2012Updated 14 years ago
- ☆10Mar 20, 2020Updated 6 years ago
- A pure JS implementation of V8's value serialization format☆13Sep 24, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🗣️ libp2p pubsub with controls exposed via a gRPC API☆14Jul 5, 2019Updated 7 years ago
- A clojure library for converting relational algebra expressions to SQL☆16Apr 4, 2019Updated 7 years ago
- DB::Evolve is to Ruby Migrations as React is to jQuery.☆10Jun 10, 2016Updated 10 years ago
- ORM based on CouchRest☆13Nov 2, 2011Updated 14 years ago
- PIONE(Process-rule for Input/Output Negotiation Enviromenment) is a rule-based workflow engine.☆10Feb 18, 2015Updated 11 years ago
- A simple library for modelling and executing Petri Nets☆14Jan 5, 2015Updated 11 years ago
- Where "ActiveRecord" encounters "HoneySQL"☆17Mar 27, 2021Updated 5 years ago