sebasmagri
Follow
Lists (2)
Stars
A collection of resources for supporting and learning about software architecture
The VLINGO XOOM examples demonstrating features and functionality available in the reactive components. See each of the submodules for specific examples.
Visualizing Ownership and Borrowing in Rust Programs
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
A custom membershipprovider that use CQRS + Events Store
simple ftp-sync tool which allows partial downloads of changed files on a remote server against a local version of the same
The near bare metal multi-container supervisor and OS management system.
Distributed stream processing engine in Rust
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
A GraphQL server library implemented in Rust
Racket-style higher-order contracts for Emacs Lisp
Squeal, a deep embedding of SQL in Haskell
Presentation materials for the Annotated.Conf Tutorial
Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]
Interactive visualizations of Rust at compile-time and run-time
Yet another redis cache is, as the name implies, a redis cache implementation. But with the additional ability to bulk operate on cache keys (get/set/delete)
Fast web applications through dynamic, partially-stateful dataflow
Postgresql temporal_tables extension in PL/pgSQL, without the need for external c extension.
A procedural, node-based modelling tool, made in rust 🦀
A collaborative blackboard, ideal for simple sketches during online meetings