Paulo Rafael Feodrippe

icon indicating a website link pfeodrippe.github.io icon indicating an email [email protected]

icon company Software Developer icon location Toronto, ON, Canada

Results 6 repositories owned by Paulo Rafael Feodrippe

dinamico

32
Stars
0
Forks
Watchers

Flutter + Clojure

verified publisher icon pfeodrippe

clj-spec-view

15
Stars
1
Forks
Watchers

View functions specs at your browser

verified publisher icon pfeodrippe

pitoco

36
Stars
3
Forks
Watchers

verified publisher icon pfeodrippe

recife

128
Stars
3
Forks
Watchers

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

verified publisher icon pfeodrippe

tla-edn

17
Stars
1
Forks
Watchers

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

verified publisher icon pfeodrippe

wally

78
Stars
5
Forks
Watchers

A Clojure Playwright wrapper

verified publisher icon pfeodrippe