A platform for formalizing OEIS sequences in Lean 4

Special Numbers (Chapter 6 from Knuth's Concrete Mathematics)

Creusot helps you prove your code is correct in an automated fashion.

Persistent/Immutable/Functional data structures for Python

A Python library for using Adama

Adaptible Data And Microservices API

Go Inspired Channels

Actor Based Co(mputing)ntainers