Homepage for the Coloured Petri Nets book
☆25Jun 23, 2019Updated 6 years ago
Alternatives and similar repositories for cpnbook
Users that are interested in cpnbook are comparing it to the libraries listed below
Sorting:
- Awesome lists of web3 data resources☆17Aug 13, 2025Updated 6 months ago
- Simple CLI tool to cross-check your raw 23andMe genetic data against the ClinVar database☆18Oct 3, 2025Updated 5 months ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- ASCII terminal line charts with no dependencies☆27Jan 6, 2024Updated 2 years ago
- This is the main repository for the DocTAG annotation tool. DocTAG is a portable, customizable annotation tool specifically designed for …☆25Mar 30, 2023Updated 2 years ago
- Destiny 2 weapon rolls for DIM☆12Updated this week
- Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.☆10Jul 24, 2024Updated last year
- Elixir shipping library☆14May 22, 2024Updated last year
- Scripting IDE using lua for Ultima Online (based on EasyUO and OpenEasyUO)☆12Nov 8, 2020Updated 5 years ago
- Measure Linux kernel's modified condition/decision coverage (MC/DC)☆12Feb 3, 2026Updated last month
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Repository of databases for omic data☆15Jan 9, 2024Updated 2 years ago
- Good code.☆17Nov 18, 2018Updated 7 years ago
- Julia package for simulating large populations of trading agents☆14Jan 4, 2024Updated 2 years ago
- Elixir implementation of ROCK: A Robust Clustering Algorithm for Categorical Attributes☆12Jul 14, 2020Updated 5 years ago
- Guess the Hacker News titles☆12Mar 24, 2022Updated 3 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- A collection of useful additions to ecto we use in our projects.☆12Jan 27, 2026Updated last month
- ☆12Aug 15, 2024Updated last year
- 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
- Python text classification package with a focus on medical text.☆17Jun 28, 2021Updated 4 years ago
- A shell script for creating a SQL database from weekly Drugs@FDA snapshot data.☆13Oct 29, 2021Updated 4 years ago
- Parse the Drugs@FDA data into a postgres DB☆10Dec 8, 2022Updated 3 years ago
- Medical records you can copy and paste☆12Mar 3, 2023Updated 3 years ago
- ☆14Apr 19, 2022Updated 3 years ago
- A sample Phoenix app to help demonstrate how to validate the signature of a webhook payload in Elixir.☆13Jul 31, 2021Updated 4 years ago
- Retrieve and normalize records from ICTRP☆10May 26, 2020Updated 5 years ago
- simple pure-python tool to parse mmdb files and convert them to the old format Tor uses☆10Nov 25, 2017Updated 8 years ago
- predicting AlogP with machine or deep learning☆10Feb 28, 2021Updated 5 years ago
- Ecto type for datetimes stored and cast as Unix timestamps. 🕰️☆14Dec 22, 2024Updated last year
- A suite for running sync tests against all Ethereum client pairs☆14Apr 2, 2023Updated 2 years ago
- Extension for Timewarrior.☆10Dec 14, 2020Updated 5 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- ☆12Feb 17, 2026Updated 2 weeks ago
- Phoenix LiveView + HeadlessUI React web components☆13Nov 6, 2024Updated last year
- Generate different types of fake data directly from Keypirinha launcher☆12Apr 23, 2020Updated 5 years ago
- ☆12Feb 9, 2019Updated 7 years ago
- A beautiful telnet/ssh client optimized for Mandarin BBS☆21Sep 8, 2009Updated 16 years ago