CQRS & event sourcing framework for Ruby
-
Updated
Sep 25, 2026 - Ruby
#
sequent
Here are 4 public repositories matching this topic...
Examples of projects using sequent
cqrs event-sourcing cqrs-framework sequent cqrs-pattern event-sourcing-and-cqrs zilverline event-sourcing-framework
-
Updated
May 8, 2025 - Ruby
A tool for simple creation, arrangement, and visualising musical sequences.
-
Updated
Dec 1, 2019 - JavaScript
Natural-deduction proof checker for classical propositional logic in pure Standard ML, built on the vendored sml-logic formula type. Dual-compiler MLton + Poly/ML.
theorem-proving sml formal-methods standard-ml propositional-logic mlton natural-deduction sequent polyml proof-checker
-
Updated
Jul 11, 2026 - Standard ML
Add this topic to your repo
To associate your repository with the sequent topic, visit your repo's landing page and select "manage topics."