A discrete, colored Petri Net DSL and executor
☆18Aug 9, 2022Updated 4 years ago
Alternatives and similar repositories for kagera
Users that are interested in kagera are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Javascript library to display and interact with Petri Nets.☆15Nov 16, 2017Updated 8 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 12 years ago
- sbt plugin for scala modules.☆12Updated this week
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆31Apr 20, 2024Updated 2 years ago
- Scala library for memory-optimized structures.☆10Apr 28, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Fast streams for Scala 3☆56Feb 8, 2025Updated last year
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago
- Lawful circuit breakers for Scala. Akka and monix circuit breaker implementations with monitoring.☆10Dec 13, 2021Updated 4 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 4 years ago
- ☆16Oct 31, 2023Updated 3 years ago
- ☆18Oct 29, 2026Updated last week
- Organize mathematical thoughts☆21Oct 6, 2023Updated 3 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- MicroVIM, a simple editor implementing some basic vim features.☆28Dec 12, 2024Updated last year
- Cross Platform Scala 2d graphics (but 3d compatible), basic geometry, maps, Earth maps, hex-tiling and strategy library(s).☆27Updated this week
- Implicit monadic dataflow parallelism☆11Sep 26, 2019Updated 7 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- Racket Machine Learning☆14Jun 18, 2024Updated 2 years ago
- [DEPRECATED] API used for getting current week forex economic events from dailyfx.com/calendar☆10Jan 13, 2015Updated 11 years ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- ☆13Jan 21, 2022Updated 4 years ago
- Google Maps geocoding library for Scala☆12Oct 12, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Demonstration hybrid Haskell client/server web app, for Polyconf 2014 talk☆10Oct 17, 2014Updated 12 years ago
- C as an Embedded Language in Scala☆19Dec 17, 2014Updated 11 years ago
- S-expression pretty-printer☆22Updated this week
- An implementation of Scheme R7RS-small in 48 working hours.☆20Mar 13, 2020Updated 6 years ago
- A simple permissions library in Clojure☆12Apr 10, 2021Updated 5 years ago
- Functional, effectful streams with resource management☆10Aug 27, 2026Updated 2 months ago
- Free monads from scratch is a talk about Free monads, their motivation, their use cases for "real-world applications", and their implemen…☆11Sep 11, 2020Updated 6 years ago
- doddle-model code examples☆19Sep 23, 2019Updated 7 years ago
- A library for writing chemical and biological data management systems☆10Oct 24, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆25Dec 5, 2024Updated last year
- A certified semantics for relational programming workout.☆28Jun 29, 2026Updated 4 months ago
- A small functional language with effect inference based on Koka.☆10Nov 19, 2016Updated 9 years ago
- A tiny embedded scripting language implemented in Scala.☆26Jan 11, 2019Updated 7 years ago
- Some Avro operations in Scala☆10Oct 20, 2026Updated 2 weeks ago
- ☆10Jun 11, 2023Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆46Oct 26, 2026Updated last week