lmkr / cpnbookView external linksLinks
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☆16Aug 13, 2025Updated 6 months ago
- Simple CLI tool to cross-check your raw 23andMe genetic data against the ClinVar database☆18Oct 3, 2025Updated 4 months 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
- ASCII terminal line charts with no dependencies☆27Jan 6, 2024Updated 2 years ago
- Destiny 2 weapon rolls for DIM☆12Feb 7, 2026Updated last week
- Real-ESRGAN aims at developing Practical Algorithms for General Image/Video Restoration.☆10Jul 24, 2024Updated last year
- Repository of databases for omic data☆15Jan 9, 2024Updated 2 years ago
- Scripting IDE using lua for Ultima Online (based on EasyUO and OpenEasyUO)☆12Nov 8, 2020Updated 5 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Elixir shipping library☆14May 22, 2024Updated last year
- Measure Linux kernel's modified condition/decision coverage (MC/DC)☆12Feb 3, 2026Updated last week
- simple pure-python tool to parse mmdb files and convert them to the old format Tor uses☆10Nov 25, 2017Updated 8 years ago
- Guess the Hacker News titles☆12Mar 24, 2022Updated 3 years ago
- OpenID Connect for Julia☆14Dec 3, 2025Updated 2 months ago
- React hooks for the Phoenix Framework☆11Apr 4, 2025Updated 10 months ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆13Aug 22, 2019Updated 6 years ago
- Fish shell plugin for fzf git bindings☆10Dec 13, 2021Updated 4 years ago
- Retrieve and normalize records from ICTRP☆10May 26, 2020Updated 5 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Parse the Drugs@FDA data into a postgres DB☆10Dec 8, 2022Updated 3 years ago
- Extension for Timewarrior.☆10Dec 14, 2020Updated 5 years ago
- Generate different types of fake data directly from Keypirinha launcher☆12Apr 23, 2020Updated 5 years ago
- Elixir implementation of JsonLogic☆14Oct 24, 2024Updated last year
- Simple Persian CAPTCHA generator☆11Feb 17, 2025Updated 11 months ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- Renders uploaded images in full size using an overlay inside the FilePond plugin☆10Apr 17, 2024Updated last year
- A sample Phoenix app to help demonstrate how to validate the signature of a webhook payload in Elixir.☆13Jul 31, 2021Updated 4 years ago
- Provides macros to use Decimals with regular Elixir operators☆10Oct 21, 2021Updated 4 years ago
- A shell script for creating a SQL database from weekly Drugs@FDA snapshot data.☆13Oct 29, 2021Updated 4 years ago
- A collection of useful additions to ecto we use in our projects.☆12Jan 27, 2026Updated 2 weeks ago
- Ecto type for datetimes stored and cast as Unix timestamps. 🕰️☆14Dec 22, 2024Updated last year
- ☆14Apr 19, 2022Updated 3 years ago
- A suite for running sync tests against all Ethereum client pairs☆14Apr 2, 2023Updated 2 years ago
- Efficient-Gas Fixed-Point Mathematical Functions for Solidity☆11Nov 1, 2019Updated 6 years ago
- Python text classification package with a focus on medical text.☆17Jun 28, 2021Updated 4 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- Medical records you can copy and paste☆12Mar 3, 2023Updated 2 years ago
- Enhancing virtual KG access over tabular data with RML and CSVW☆12Jan 7, 2023Updated 3 years ago
- ☆12Mar 23, 2019Updated 6 years ago