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:
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Aug 25, 2018Updated 7 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
- An itree-like data-structure to additionally support internal non-determinism☆21Mar 26, 2026Updated 2 weeks ago
- Efficient, high-level dynamic programming☆28Jul 19, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- The Flix Programming Book☆23Mar 31, 2026Updated last week
- A Quick Research of Active Automata Learning☆32Mar 13, 2020Updated 6 years ago
- Vehicle (car) shapes for use with the Tikz LaTeX package.☆18Dec 16, 2023Updated 2 years ago
- JSON meets Haskell.☆11Oct 22, 2020Updated 5 years ago
- Abstraction layer for dealing with hardware programming in Clojure☆14Aug 22, 2015Updated 10 years ago
- Fully local image generation for macOS and iOS☆13Mar 8, 2023Updated 3 years ago
- STL-Compatible Lemire-Fenn algorithm for running min/max☆27Jan 4, 2020Updated 6 years ago
- Image segmentation framework in Java (Computer Graphics project at itba.edu.ar)☆15Oct 1, 2020Updated 5 years ago
- A set of convenience APIs that make working with RealityKit more efficient.☆21Mar 3, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- BoSy is a reactive synthesis tool based on constraint-solving☆20Aug 3, 2023Updated 2 years ago
- Cube Schema☆13Apr 2, 2026Updated last week
- A SwiftUI library for a plug-and-play parallax effect☆14May 3, 2024Updated last year
- iOS Swift Realtime video manipulation☆16Oct 1, 2015Updated 10 years ago
- Overview of Tensorflow Low Level API.☆12Nov 16, 2018Updated 7 years ago
- Decentralized Edge Computing with IPFS + WASM + WASI☆20Nov 20, 2025Updated 4 months ago
- ☆33Aug 3, 2024Updated last year
- A translation of Apple's sample code VoxelPanda: Getting Started with Voxels Using ModelIO and SceneKit into Swift☆17Apr 20, 2019Updated 6 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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
- ARDK Lightship Demos created during YouTube video tutorials☆13Apr 26, 2023Updated 2 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- ☆10Mar 19, 2026Updated 3 weeks ago
- iOS MetalKit samples☆19Jan 15, 2020Updated 6 years ago
- tool for postgres to automatically build rest services and web forms☆13Apr 2, 2026Updated last week
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- What sits between the cloud and the core of an app☆17Mar 29, 2020Updated 6 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 6 years ago
- Fast maximum-minimum filters implemented in C++☆47Feb 10, 2023Updated 3 years ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!☆38Oct 13, 2023Updated 2 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago