Multiplicative-additive linear System L with exponentials, embedded in Rust's type system
A library for interactive discrete-event simulation.
An adapter for using Sequent with Revolver.
Parser for the Lolli linear logic workbench
Proof search for the Lolli linear logic workbench
Intermediate representation (IR) and AST types for TensorLogic
Core data structures for the Lolli linear logic workbench
Propositional logic with exponentials
Command-line interface for the Lolli linear logic workbench
A Rust histogram library using base-2 logarithmic bucketing for fast percentile estimation
Console application for streamed hex dumping
Non-deterministic parser for natural languages (Montague Semantics)
Sequent-Rails is providing Rails specific features and helpers around the CQRS and Event-Sourcing framework Sequent.
Sequent is a CQRS and event sourcing framework for Ruby.
Sequent is an event sourcing framework for Ruby. This gem allows Sequent to work with Sinatra-backed applications.