mhulden/pyfoma

Python Finite-State Toolkit

statebox/fsm-oracle

Finite state machines as graphs

phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

IyesGames/iyes_loopless

Alternatives to Bevy States, FixedTimestep, Run Criteria, that do not use "stage looping" and are…

luqui/vatican

A lazy specializing virtual machine for purely functional languages

FrozenWinters/stlc

This aims to be the most pretentious implementation of stlc in existence

frenetic-lang/frenetic

The Frenetic Programming Language and Runtime System

isovector/thinking-with-types

📖 source material for Thinking with Types