Queueing theory: an introduction for software development

A curated list of production-ready and free SaaS boilerplates and starter templates. Build your next software-as-a-service project with battle-tested open source foundations.

🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2024

Model-based testing tool

TLA+ language support for Visual Studio Code

TLA+ Spec of a simplified part of MongoDB replication system

Material for a workshop on Apalache and TLA+. To be populated with more examples.

APALACHE: symbolic model checker for TLA+ and Quint

Learn TLA+ for free! No prior experience necessary!

A gently curated list of companies using verification formal methods in industry

A curated list of TLA+ resources.

A collection of TLA⁺ specifications of varying complexities.

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Dr. TLA+ series - learn an algorithm and protocol, study a specification

📚 Learn to write an embedded OS in Rust 🦀

Simple and lightweight HTTP async server for micropython

Curated list of resources for ESP32 development in the Rust programming language

The Ivory EDSL

A curated list of Awesome Functional Programming resources for Arduino and other microcontrollers. (Arduino, Adafruit, ESP32, ATmega, TI MSP430, STM32, nRF52)

📜 Haskell course info, plan, video lectures, slides

💻 Exercises for the Haskell Beginners 2022 course

The Uber Go Style Guide.

Effect introduction about the whys, helping transitioning from raw TypeScript to Effect TypeScript

Node.js Ports & Adapters Architecture for Functional Programming with TypeScript and fp-ts

Runtime type system for IO decoding/encoding

The practical guide I wish existed while learning @effect-ts

ESBD4

A tool for generating Protobuf v3 schemas and gRPC service definitions from OpenAPI specifications

Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators