Microservices With Spring, Docker, Kubernetes - Code Examples

Repo for the DevMorning group in Bangkok.

The math library of Lean 4

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

A tool for analyzing the security and parameters of a solidity smart contract

Odoo. Open Source Apps To Grow Your Business.

A curated list of awesome Uniswap v3 resources

Symbolic and concrete EVM execution engine

Ethereum smart contract fuzzer

Resources for type theory, functional programming, etc.

A curated list of Zero Knowledge links, mostly focusing on blockchain.

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

Fight the forgetting curve by reviewing flashcards & entire notes on Obsidian

A plugin to edit and view Excalidraw drawings in Obsidian

Curated list of project-based tutorials

📚 Learn to write an embedded OS in Rust 🦀

A free book about developing secure and robust systems software.

High-performance maze solver written in Rust

A set of challenges for jump starting your understanding of monads.

A friendly programming language from the future

A tutorial on how Agda infers things

AWS Lambda using Terraform., an Introductory Cookbook

Course for learning how to apply property-based state-machine testing

Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.

A web framework written in PureScript.

A formalization of the polymorphic lambda calculus extended with iso-recursive types

Formal semantics in Agda.

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

A curated list of awesome Coq frameworks, libraries and software.

Parsing, analyzing, and comparing source code across many languages