Paulo Rafael Feodrippe (@pfeodrippe)
github

pfeodrippe

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    358
  • Global Rank 75,439 (Top 3 %)
  • Followers 70
  • Following 56
  • Registered almost 12 years ago
  • Most used languages
    Clojure
         78.3 %
    TLA     8.7 %
    HTML
         4.3 %
    C++
         4.3 %
    Dart
         4.3 %
  • Location πŸ‡¨πŸ‡¦ Canada
  • Country Total Rank 2,132
  • Country Ranking
    TLA     3
    Clojure
         8
    Dart
         662
    HTML
         4,519
    C++
         5,094

Top repositories

1

recife

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

wally

A Clojure Playwright wrapper
Clojure
80
star
3

pitoco

Clojure
36
star
4

dinamico

Flutter + Clojure
Clojure
32
star
5

tla-edn

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

clj-spec-view

View functions specs at your browser
Clojure
15
star
7

arrudeia

Test your concurrent thoughts, don't let it be a nightmare
Clojure
13
star
8

ummoi

Override TLA+ Operators Anywhere
Clojure
8
star
9

tladeps

Simple TLA+ Dependency Manager
Clojure
7
star
10

orchardia

Improving emacs tooling for Arcadia
Clojure
5
star
11

tla-typeof

Usage example of tla-edn.
TLA
4
star
12

wally-tests

Wally tests with love
Clojure
3
star
13

tla-edn-module

EDN Operators for TLA+
TLA
2
star
14

tla-http-client-module

A HTTP Client module for TLA+
Clojure
2
star
15

maxima-projects

Math studies with Maxima
HTML
2
star
16

dev-tooling

Clojure
1
star
17

sci-test

Clojure
1
star
18

guima

Clojure
1
star
19

indicio

Clojure
1
star
20

pdi-2016-1

C++
1
star
21

duro

Clojure
1
star
22

quil-tests

Quil Tests
Clojure
1
star
23

dinamico_dart

Support library for `DinΓ’mico`
Dart
1
star