Finite state machines as graphs
☆60Jun 23, 2020Updated 5 years ago
Alternatives and similar repositories for fsm-oracle
Users that are interested in fsm-oracle are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Programming language agnostic type construction language based on polynomials.☆372May 29, 2024Updated 2 years ago
- CQL: Categorical Query Language implementation in Haskell☆184Apr 14, 2023Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆19Jul 23, 2023Updated 2 years ago
- formally verified category theory library☆271Jun 23, 2020Updated 5 years ago
- ACT community resources☆471Nov 26, 2019Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆19May 4, 2026Updated last month
- Symbolic Geometric Algebra with E-Graphs☆20May 2, 2026Updated last month
- An infinity-categorical coherence typechecker☆18Nov 4, 2024Updated last year
- Library of categories, with categorical constructions on them☆59Aug 12, 2023Updated 2 years ago
- A place to collect work on dialectica categories.☆32Jun 4, 2026Updated last week
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 3 years ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- Pomodoro timer built using TypeScript and XState☆11Jul 22, 2020Updated 5 years ago
- An experimental programming language.☆19May 16, 2019Updated 7 years ago
- 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.
- Experimental strongly typed state machine library.☆16Nov 21, 2023Updated 2 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- CancellationToken in Swift, modelled after the .NET version☆20Mar 5, 2021Updated 5 years ago
- Canonical normalizing flows☆10Apr 30, 2019Updated 7 years ago
- opt-in runtime introspection☆12Jul 29, 2022Updated 3 years ago
- Clojure library to explore inversion of control technique - in several senses.☆10May 14, 2024Updated 2 years ago
- A modern string diagram editor for the web.☆27Apr 22, 2025Updated last year
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 6 years ago
- dependently-typed lisp with flexible compiler backends☆27May 24, 2019Updated 7 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.
- Haskell library for doing category theory with a central role for profunctors☆27Updated this week
- string diagrams for the working programmer☆15Jul 17, 2023Updated 2 years ago
- Contractual Semver☆28Apr 16, 2022Updated 4 years ago
- Algebraic Graphs in Scala☆29Aug 13, 2021Updated 4 years ago
- Direct volume rendering with WebGL 2.☆12Jun 8, 2026Updated last week
- egraph <-> json☆17Dec 29, 2025Updated 5 months ago
- A package manager for Idris☆185Jul 16, 2020Updated 5 years ago
- Scala implementation of ILC, with benchmarks☆27Jul 5, 2016Updated 9 years ago
- ☆17Jun 29, 2020Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Structured decompositions!☆15Mar 26, 2025Updated last year
- LAGr: Label Aligned Graphs for Better Systematic Generalization in Semantic Parsing☆10Jun 1, 2022Updated 4 years ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Jul 27, 2024Updated last year
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- ☆17Updated this week
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 5 months ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Nov 25, 2020Updated 5 years ago