Paulo Rafael Feodrippe

recife. A Clojure model checker (using the TLA+/TLC engine)

wally. A Clojure Playwright wrapper

vybe. A Clojure framework for game dev

pitoco. Clojure

dinamico. Flutter + Clojure

tla-edn. A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN

clj-spec-view. View functions specs at your browser

arrudeia. Test your concurrent thoughts, don't let it be a nightmare

tladeps. Simple TLA+ Dependency Manager

ummoi. Override TLA+ Operators Anywhere

vybe-games. Samples for Vybe

orchardia. Improving emacs tooling for Arcadia

tla-typeof. Usage example of tla-edn.

tla-http-client-module. A HTTP Client module for TLA+

wally-tests. Wally tests with love

maxima-projects. Math studies with Maxima

tla-edn-module. EDN Operators for TLA+

guima. Clojure

indicio. Clojure

flecs. A fast entity component system (ECS) for C & C++