Main repository of the GreatSPN framework
☆54Feb 1, 2026Updated last month
Alternatives and similar repositories for SOURCES
Users that are interested in SOURCES are comparing it to the libraries listed below
Sorting:
- Simple Petri net editor and simulator☆12Feb 22, 2021Updated 5 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
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Petrinet.org interactive playground website☆16Oct 17, 2019Updated 6 years ago
- Destiny 2 weapon rolls for DIM☆12Feb 23, 2026Updated last week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆28Feb 27, 2026Updated last week
- ☆29Oct 4, 2017Updated 8 years ago
- ☆14Jan 16, 2026Updated last month
- Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.☆10Jul 24, 2024Updated last year
- xOpera orchestrator compliant with TOSCA YAML v1.3 in the making☆39Jan 22, 2026Updated last month
- ☆13Mar 26, 2024Updated last year
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- Multitouch gestures on X11, Linux☆10Nov 22, 2015Updated 10 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- Scripting IDE using lua for Ultima Online (based on EasyUO and OpenEasyUO)☆12Nov 8, 2020Updated 5 years ago
- ☆10May 9, 2016Updated 9 years ago
- The spell program from the 10th Edition Unix system☆10Jul 12, 2020Updated 5 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- ☆10Oct 3, 2018Updated 7 years ago
- A Petri net modeling framework for the Julia programming language☆43Nov 22, 2023Updated 2 years ago
- ☆12Jun 24, 2025Updated 8 months ago
- A small framework for web apps using http4s+tapir+laminar. Currently for personal use but may grow into a thing later down the line.☆11Feb 4, 2026Updated last month
- Repository for sample Windows applications and tools that use eye tracking☆21Aug 18, 2022Updated 3 years ago
- VaniDL is an tool for analyzing I/O patterns and behavior with Deep Learning Applications.☆10Jul 8, 2022Updated 3 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- A shell script for creating a SQL database from weekly Drugs@FDA snapshot data.☆13Oct 29, 2021Updated 4 years ago
- ☆10Jan 25, 2022Updated 4 years ago
- A Kafka mirroring service based on Akka Streams Kafka☆10Jan 30, 2022Updated 4 years ago
- Breakdown of my aurora borealis effect as inspired by Miskatonic Studios' approach☆14Nov 18, 2024Updated last year
- A Julia/JuMP Package for Joint Optimization of Power and Water Distribution Networks☆12Dec 20, 2022Updated 3 years ago
- Renders uploaded images in full size using an overlay inside the FilePond plugin☆10Apr 17, 2024Updated last year
- Fish shell plugin for fzf git bindings☆10Dec 13, 2021Updated 4 years ago
- An open standard to build applications that respect data ownership.☆10Sep 17, 2021Updated 4 years ago
- Quality Shapes Extraction from very large Knowledge Graphs☆12Nov 15, 2025Updated 3 months ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- ☆17Dec 23, 2025Updated 2 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year