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:
- Gremlin++: A C++ Interpreter for the Gremlin language.☆19Dec 26, 2024Updated last year
- My Master's thesis. Reinforcement Learning for LTLf/LDLf goals.☆10Aug 25, 2018Updated 7 years ago
- A voxel engine written in Swift☆36May 16, 2020Updated 6 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
- Swift implementation of multihash☆16May 9, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An itree-like data-structure to additionally support internal non-determinism☆21Apr 17, 2026Updated last month
- 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☆36Mar 13, 2020Updated 6 years ago
- Vehicle (car) shapes for use with the Tikz LaTeX package.☆18Dec 16, 2023Updated 2 years ago
- Collection of helpful Xtext tools☆25Apr 11, 2026Updated last month
- 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
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Cube Schema☆14May 17, 2026Updated 3 weeks ago
- 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 2 years ago
- A raytracer written with webgpu (wgpu-rs).☆13Nov 19, 2020Updated 5 years ago
- A Core Animation-based, D3.js-inspired drawing library for Cocoa Touch.☆61May 7, 2015Updated 11 years ago
- Programming with Spaces in Swift☆12Oct 19, 2017Updated 8 years ago
- An example of using AudioKit to provide audio to iOS's native speech recognition APIs☆13Oct 31, 2019Updated 6 years ago
- Decentralized Edge Computing with IPFS + WASM + WASI☆19Nov 20, 2025Updated 6 months ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Mar 10, 2023Updated 3 years ago
- The mm-ADT Virtual Machine☆35Nov 22, 2020Updated 5 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- What sits between the cloud and the core of an app☆17Mar 29, 2020Updated 6 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Fast maximum-minimum filters implemented in C++☆47Feb 10, 2023Updated 3 years ago
- a cross-platform 3D graphics engine☆19Jul 14, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Automated Programming Framework☆15May 11, 2020Updated 6 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
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated 5 months ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- typed tagless final interpreters☆13Feb 14, 2017Updated 9 years ago
- WDTE is a simple, functional-ish, embedded scripting language.☆22Feb 13, 2026Updated 3 months ago