A model checker for safe Petri nets based on partial-order semantics
☆13Nov 30, 2020Updated 5 years ago
Alternatives and similar repositories for cunf
Users that are interested in cunf are comparing it to the libraries listed below
Sorting:
- High-Level Nets Blaster for the Model-Checking Contest☆10Jan 18, 2026Updated last month
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Online repository for the IJCAI 2017 paper "Purely Declarative Action Representations are Overrated: Classical Planning with Simulators"☆10Dec 5, 2017Updated 8 years ago
- Lean 4 Metamath verifier☆23Dec 12, 2025Updated 2 months ago
- A simple game in Scheme.☆15Dec 30, 2016Updated 9 years ago
- Maude Formal Environment☆17Feb 17, 2026Updated last week
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- ☆27Mar 4, 2023Updated 2 years ago
- shadchen is an emacs lisp pattern matching library☆51Nov 2, 2014Updated 11 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 17, 2026Updated last week
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated 3 weeks ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- Modern Swagger/OpenAPI integration for AdonisJS v6 with Scalar UI☆24Feb 3, 2026Updated 3 weeks ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- ☆10Nov 23, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- L7mp: A L7 multiprotocol proxy and service mesh☆16Dec 12, 2025Updated 2 months ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- ☆10Feb 20, 2020Updated 6 years ago
- Lazy python recipes.☆10Apr 17, 2021Updated 4 years ago
- A browser-based MIDI sequencer.☆12Aug 29, 2015Updated 10 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- Simple python QAP minimiser☆10Sep 11, 2013Updated 12 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago
- NYU Ada/Ed: the first Ada compiler to be validated on the IBM PC.☆13Jul 10, 2012Updated 13 years ago
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated 2 months ago
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- A parser for BSD syslog protocol (RFC 3164) messages☆10Jan 7, 2025Updated last year
- Random mini experiments☆19Nov 17, 2015Updated 10 years ago
- linq in lisp; data set manipulating done easy☆21Jul 4, 2025Updated 7 months ago
- My talk at PyCon Spain 2014 [Spanish]☆14Sep 8, 2021Updated 4 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month