Pinned Loading

1. conseqa conseqa Public

   A semantic architecture model and model checker for LLM coding agents that verifies cross-component correctness (ordering, serialization, concurrency, transaction safety, idempotency, and distribut…

   Rust

2. dissertation-poc dissertation-poc Public

   This repo contains implementations, experiment scripts and notebooks for HMC-AC (Hamiltonian Monte Carlo Actor–Critic) and Bootstrapped-AC.

   Jupyter Notebook

3. fsm fsm Public

   a library with a simple api to generate finite state machines in go

   Go 7 1

4. kanko-travel/model kanko-travel/model Public

   A lightweight rust ORM for sqlx and postgres

   Rust 1

5. bmlgo bmlgo Public

   A Go wrapper around the BML internet banking API

   Go 4

6. mq mq Public

   A Cloud-Agnostic Go Library for Publishing to and Consuming from Message Queues

   Go