CQRS & event sourcing framework for Ruby
-
Updated
Jun 29, 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
Jun 22, 2026 - Standard ML
Improve this page
Add a description, image, and links to the sequent topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sequent topic, visit your repo's landing page and select "manage topics."