PetriNets / petrinets.github.ioLinks
Petrinet.org interactive playground website
☆16Updated 6 years ago
Alternatives and similar repositories for petrinets.github.io
Users that are interested in petrinets.github.io are comparing it to the libraries listed below
Sorting:
- Exercism exercises in Idris.☆35Updated last month
- User-contributed extensions to diagrams☆28Updated 7 months ago
- Category theory in Coq, by Jason Gross☆16Updated 11 years ago
- ☆44Updated 3 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 9 years ago
- Source files used for the Cedille Cast videos☆13Updated last month
- State machines in Idris☆37Updated 9 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 9 years ago
- The full template for "Automating the Build of your Technical Presentation"☆26Updated 8 years ago
- Idris GraphQL☆16Updated 8 years ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 6 years ago
- The Codebase UI that ships with UCM☆20Updated last week
- ☆23Updated 8 years ago
- Unison base libraries, published using V1 codebase format☆24Updated 5 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 6 years ago
- ADTs for Ruby☆24Updated 12 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- An implementation of JSON decoders and encoders inspired by elm/json☆18Updated 4 years ago
- Unison Codebase UI☆46Updated 3 years ago
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆21Updated 3 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 8 years ago
- Stroll: an experimental build system☆42Updated 2 years ago
- Dhall helpers for github actions☆54Updated 2 years ago
- An HTTP library for idris☆39Updated 7 years ago
- Js libraries for idris☆49Updated 6 years ago
- Port of Scala/Haskell Refined library to Idris☆17Updated 4 years ago
- A Haskell implementation of Foreman☆24Updated 4 years ago
- Graphics library authored by Chris Schankula and Dr. Christopher Anand☆49Updated 7 months ago
- Tunable sorting for responsive robustness and beyond☆18Updated 10 months ago