Server to host lean games.

An extension for VS Code supporting the Alloy modelling language

A webapp for developing and sharing Alloy models

APALACHE: symbolic model checker for TLA+ and Quint

This repo introduces the Paxos consensus protocol, starting from a simple but incorrect protocol and making gradual refinements to morph the initial attempt into the complete Paxos protocol.

Python packaging and dependency management made easy

🤖 Just a command runner

Jupyter kernel for TLA⁺

TLA+ language support for Visual Studio Code

FastAPI framework, high performance, easy to learn, fast to code, ready for production

ISCC: International Standard Content Code

The uncompromising Python code formatter

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

Rust bindings for the Python interpreter

Talks, slides, examples etc.

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

Theano was a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It is being continued as PyTensor: www.github.…

scikit-learn: machine learning in Python