Discover @pfeodrippe Open Source projects

Paulo Rafael Feodrippe (@pfeodrippe)

pfeodrippe

Stars
425
Global Rank 66,609 (Top 3 %)
Followers 75
Following 58
Registered over 12 years ago
Most used languages

Clojure
76.0 %

TLA 8.0 %

Java
4.0 %

Dart
4.0 %

HTML
4.0 %

C++
4.0 %
Location 🇨🇦 Canada
Country Total Rank 2,132
Country Ranking

TLA 3

Clojure
9

Java
418

Dart
798

HTML
4,427

C++
6,120

recife

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

wally

A Clojure Playwright wrapper

vybe

pitoco

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

ummoi

Override TLA+ Operators Anywhere

tladeps

Simple TLA+ Dependency Manager

orchardia

Improving emacs tooling for Arcadia

tla-typeof

Usage example of tla-edn.

wally-tests

Wally tests with love

vybe-games

tla-edn-module

EDN Operators for TLA+

maxima-projects

Math studies with Maxima

tla-http-client-module

A HTTP Client module for TLA+

dev-tooling

sci-test

indicio

guima

pdi-2016-1

duro

quil-tests

dinamico_dart

Support library for `Dinâmico`