SNAKES is the Net Algebra Kit for Editors and Simulators
☆100Jun 3, 2024Updated last year
Alternatives and similar repositories for snakes
Users that are interested in snakes are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Javascript library to display and interact with Petri Nets.☆14Nov 16, 2017Updated 8 years ago
- Pure Swift library of Decision Diagrams.☆10Jul 21, 2021Updated 4 years ago
- Maurice's Portfolio☆13Mar 18, 2026Updated last week
- PIPE - Platform Independent Petri Net Editor☆249Jun 28, 2022Updated 3 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This repository hosts the source code of PNML Framework, the companion tool of ISO/IEC 15909-2 (Petri Nets Markup Language - www.pnml.org…☆13May 20, 2024Updated last year
- Introduction to mathematical programming with Pyomo (Python)☆12Oct 4, 2018Updated 7 years ago
- Dependency injection system for Python☆15Apr 13, 2025Updated 11 months ago
- APT – Analysis of Petri nets and labelled transition systems☆19Feb 28, 2026Updated last month
- A Vue 3 with JointJS project☆14Dec 27, 2023Updated 2 years ago
- A command-line interface for Thesaurus.com☆16Jan 2, 2025Updated last year
- A vscode extension that integrates Perplexity.ai with VSCode☆19Dec 10, 2025Updated 3 months ago
- Discrete optimization models (i.e., stochastic optimization, distributionally robust optimization and conditional value-at-risk optimizat…☆16Feb 28, 2026Updated last month
- Small repo for WIP pymc examples☆13May 15, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Transform your code in turing-complete ways☆13Mar 28, 2022Updated 4 years ago
- A JupyterLab extension for rendering 3d files (stl, amf, obj, 3mf, gcode, collada)☆13Mar 14, 2023Updated 3 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Tomorrow Night Color Schemes for SublimeText 3, with Italics on comments!☆14Dec 6, 2016Updated 9 years ago
- DESTRUCTURING-BIND with proper error signaling☆13Apr 30, 2020Updated 5 years ago
- A discrete, colored Petri Net DSL and executor☆17Aug 9, 2022Updated 3 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12May 3, 2024Updated last year
- A documentation generator (of the aesthetic variety) for command line programs☆18Oct 26, 2013Updated 12 years ago
- CL-FFF: Fractal's Fine Framework☆13Apr 30, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Recurrent Neural Networks for Speaker and Turn Taking Classification☆12Aug 29, 2018Updated 7 years ago
- Javascript client for the Lightning data visualization server.☆41Jan 4, 2016Updated 10 years ago
- Materiales para el taller-curso de optimización con Python y Pyomo en la Universidad de Alicante☆12Feb 21, 2016Updated 10 years ago
- AI4Green is an Electronic Laboratory Notebook which combines data storage and sharing while promoting green and sustainable chemistry.☆27Mar 18, 2026Updated last week
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- Swan Benchmark Suite☆13Sep 17, 2025Updated 6 months ago
- A Squeak/Smalltalk implementation of the metaprogramming framework Ohm.☆24Mar 6, 2026Updated 3 weeks ago
- My NixOS configuration and custom Nix derivations.☆12Nov 2, 2020Updated 5 years ago
- Generic interfaces for lisp collections.☆11Nov 16, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Paradigms of AI Programming Source Code☆11Jan 2, 2013Updated 13 years ago
- Get model instances back from your subqueries☆12May 21, 2024Updated last year
- Source code for SimBac, a bacterial genome simulator☆14Sep 20, 2024Updated last year
- Lightweight, interactive screen reader for Emacs☆25Mar 10, 2024Updated 2 years ago
- Professional Fifth☆24Jul 20, 2016Updated 9 years ago
- ☆15Dec 11, 2020Updated 5 years ago
- ☆13Mar 6, 2023Updated 3 years ago