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

Python toolkit, MCP server, and agent skills for reproducible, auditable clickstream and event log analytics. Helps AI agents, data scientists and analysts build, validate, and cross-check product …

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

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