Pinned Loading

1. provables/sequencelib provables/sequencelib Public

   A platform for formalizing OEIS sequences in Lean 4

   Lean 15 2

2. provables/lean4-template provables/lean4-template Public

   A Lean4 template with blueprints enabled

   Jinja 1

3. mischief mischief Public

   Python library for Erlang-like actors

   Python 4 1

4. serfnode serfnode Public

   A docker container with serf powers

   Python 3 1

5. actor_model actor_model Public

   Introduction to the Actor Model of Computation

   JavaScript 1

6. tartpy tartpy Public

   Tiny Actor Run-Time in Python

   Python 1