Alternatives and similar repositories for petrinets.github.io

Users that are interested in petrinets.github.io are comparing it to the libraries listed below

• exercism / idris
  Exercism exercises in Idris.
  ☆35Updated last month
• diagrams / diagrams-contrib
  User-contributed extensions to diagrams
  ☆28Updated 7 months ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆16Updated 11 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆42Updated 2 years ago
• vilterp / elm-diagrams
  An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.
  ☆44Updated 9 years ago
• cedille / cedille-cast
  Source files used for the Cedille Cast videos
  ☆13Updated last month
• edwinb / States
  State machines in Idris
  ☆37Updated 9 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 9 years ago
• owickstrom / automating-the-build-of-your-technical-presentation-template
  The full template for "Automating the Build of your Technical Presentation"
  ☆26Updated 8 years ago
• jameshaydon / idris-graphql
  Idris GraphQL
  ☆16Updated 8 years ago
• aleksandarmilicevic / hola
  Alloy*---Higher Order Logic for Alloy
  ☆36Updated 6 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆20Updated last week
• deech / LeftPad
  ☆23Updated 8 years ago
• unisonweb / base_v1
  Unison base libraries, published using V1 codebase format
  ☆24Updated 5 years ago
• jdevuyst / dependable-data-structures
  Experiments in implementing functional data structures in Idris
  ☆15Updated 6 years ago
• nkpart / adt
  ADTs for Ruby
  ☆24Updated 12 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 4 years ago
• emiflake / unison-json
  An implementation of JSON decoders and encoders inspired by elm/json
  ☆18Updated 4 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 3 years ago
• alonsodomin / haskell-schema
  A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
  ☆21Updated 3 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 8 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated 2 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 7 years ago
• rbarreiro / idrisjs
  Js libraries for idris
  ☆49Updated 6 years ago
• sigma-andex / idris-refined
  Port of Scala/Haskell Refined library to Idris
  ☆17Updated 4 years ago
• fujimura / houseman
  A Haskell implementation of Foreman
  ☆24Updated 4 years ago
• MacCASOutreach / graphicsvg
  Graphics library authored by Chris Schankula and Dr. Christopher Anand
  ☆49Updated 7 months ago
• kaBeech / tensort
  Tunable sorting for responsive robustness and beyond
  ☆18Updated 10 months ago