matmas / pneditorLinks
Petri Net Editor
☆45Updated 3 years ago
Alternatives and similar repositories for pneditor
Users that are interested in pneditor are comparing it to the libraries listed below
Sorting:
- Petri Net Editor☆26Updated 7 years ago
- Robots powered by Constructive Reals☆34Updated 7 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Rosa, the real compiler☆20Updated 7 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- KORE to llvm translation☆38Updated last week
- Functional hybrid modelling (FHM) language for modelling and simulation of physical systems using implicitly formulated (undirected) Diff…☆30Updated 13 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 2 years ago
- A Hello World program in Coq.☆17Updated 3 years ago
- A blog about Coq☆10Updated 4 years ago
- HOL Guidebook☆11Updated 8 months ago
- Topology library for Coq☆12Updated 9 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Updated 11 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- A language for data modeling and incremental computing of derived values☆11Updated last year
- Maude Formal Environment☆17Updated 5 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago
- Lua parser and pretty-printer☆51Updated 9 years ago
- Software specification and verification system based on graph rewriting☆37Updated 2 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆24Updated 5 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- Utility to manage haskell projects for an IDE☆36Updated 10 years ago
- Formalism and proofs for esverify☆19Updated 7 years ago