A Java library for bigraphical reactive systems.
☆11Jan 31, 2023Updated 3 years ago
Alternatives and similar repositories for jlibbig
Users that are interested in jlibbig are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BitGraph: A C++ Backend for the Gremlin Traversal Language with GPU Acceleration☆23Dec 26, 2024Updated last year
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- fluid engine developed by using Swift and Metal which is fully speeding up by using Metal Compute Shader and Grand Central Dispatch☆36Sep 21, 2020Updated 5 years ago
- Small HDL in Clojure. Exercise in writing a DSL.☆13Nov 1, 2012Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Swift implementation of multihash☆16May 9, 2023Updated 2 years ago
- An itree-like data-structure to additionally support internal non-determinism☆21Apr 17, 2026Updated last week
- Efficient, high-level dynamic programming☆28Jul 19, 2023Updated 2 years ago
- The Flix Programming Book☆24Updated this week
- A Quick Research of Active Automata Learning☆34Mar 13, 2020Updated 6 years ago
- JSON meets Haskell.☆11Oct 22, 2020Updated 5 years ago
- Collection of helpful Xtext tools☆25Apr 11, 2026Updated 2 weeks ago
- STL-Compatible Lemire-Fenn algorithm for running min/max☆27Jan 4, 2020Updated 6 years ago
- GitHub Classroom autograding example repo with C++ and Catch.☆13Dec 5, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Scripts for Lectures on Network Systems - Francesco Bullo☆16Oct 22, 2023Updated 2 years ago
- LRU Cache written in Swift.☆21Oct 27, 2020Updated 5 years ago
- Coming Soon. CARMA 1Tenth will operate CARMA Platform on a scaled down vehicle that utilizes open source software (OSS) to enable develop…☆12Oct 15, 2024Updated last year
- CARMA Messenger will be a scaled down version of CARMA Platform for a non-automated vehicle to participate in Cooperative Driving Automat…☆14Updated this week
- Pepper implementation of the cognitive architecture for Trust and Theory of Mind in humanoid robots applied to Vanderbilt's experiment.☆11May 15, 2019Updated 6 years ago
- A set of convenience APIs that make working with RealityKit more efficient.☆21Mar 3, 2026Updated last month
- BoSy is a reactive synthesis tool based on constraint-solving☆21Aug 3, 2023Updated 2 years ago
- Scripts, patchs and templates to run Eclipse Che on OpenShift☆12Apr 21, 2023Updated 3 years ago
- Cube Schema☆14Apr 14, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Vellum is local persistent data storage for iOS☆14Sep 9, 2022Updated 3 years ago
- A SwiftUI library for a plug-and-play parallax effect☆14May 3, 2024Updated last year
- A Core Animation-based, D3.js-inspired drawing library for Cocoa Touch.☆61May 7, 2015Updated 10 years ago
- iOS Swift Realtime video manipulation☆16Oct 1, 2015Updated 10 years ago
- ☆33Aug 3, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- A mobile agent platform supporting C/C++ agents.☆16Nov 13, 2014Updated 11 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Jan 24, 2024Updated 2 years ago
- Xin (신/心) is a flexible functional programming language with a tiny core, inspired by Lisp and CSP☆20May 15, 2020Updated 5 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.
- ARDK Lightship Demos created during YouTube video tutorials☆13Apr 26, 2023Updated 3 years ago
- Compiled lecture notes for AA274☆22Mar 22, 2019Updated 7 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- An RDF serialization format designed for performance in the browser☆33Oct 14, 2024Updated last year
- iOS MetalKit samples☆19Jan 15, 2020Updated 6 years ago
- tool for postgres to automatically build rest services and web forms☆13Updated this week
- What sits between the cloud and the core of an app☆17Mar 29, 2020Updated 6 years ago