Starred repositories
A curated list of awesome mathematics resources
Educational blog posts for Rust beginners
Accompanying the 5-class, 1 class per week series of Ultimate Rust: Foundations
Rust Programming Fundamentals - one course to rule them all, one course to find them...
SQL static analyzer for performance, security, compliance and cost. 272 rules. Completely offline. Works in CI pipelines.
A collection of TLA⁺ specifications of varying complexities.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Proving leftpad correct two-dozen different ways
A modern Quarto re-edition of Paul Halmos's classic 'Naive Set Theory,' based on the LaTeX source by Matheus Girola Macedo Barbosa.
Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX
Awesome & interesting talks about programming
Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult mona…
code for the now defunct pi.dev podcast generator
A purely functional programming language with first class types
Rust implementation of the Binary Canonical Serialization (BCS) format
⭐️ A friendly language for building type-safe, scalable systems!
ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.
🎓 Path to a free self-taught education in Computer Science!
A curated list of awesome Go frameworks, libraries and software
A library and language for building parsers, interpreters, compilers, etc.
A Go library to apply RFC6902 patches and create and apply RFC7386 patches
A statically typed lisp, without a GC, for real-time applications.
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)