Applied type theory, MSU Fall 2025

A bunch of small crates that make writing Rust more fun

The Agents Manifesto is a set of principles for working with AI agents responsibly—so they become powerful collaborators instead of unsupervised chaos engines.

A curated list of custom widgets, example projects, integrations, and resources made with/for iced

Free and Open Source Reverse Engineering Platform powered by rizin

Rust implementation of the Fluence network peer

Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]

A comprehensive list of books on Software Architecture.

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Refactoring and linting tool for Scala

Compositional, streaming I/O library for Scala

A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web

Multiple instance derivations inside a single macro annotation

purge packages from the github package registry

Functional programming great resources

Functional GraphQL library for Scala

A big collection of useful ZIO links

Functional programming toolbox

community-contributed additions to the Scala 2.13 collections

Retentioneering: product analytics, data-driven CJM optimization, marketing analytics, web analytics, transaction analytics, graph visualization, process mining, and behavioral segmentation in Pyth…

Что читать о разработке компиляторов

A data access library for Scala + Postgres.

Proof theory seminar

Abstractions from Category theory with simple description & implementation, links to further resources.

Simple caching in Scala

Desugaring scala `for` without implicit `withFilter`s

Typelevel http service definition DSL

Docker containers for testing in scala