pfeodrippe/arrudeia pfeodrippe/arrudeia

  • Stars
    star
    13
  • Rank 1,481,744 (Top 30 %)
  • Language
    Clojure
  • License
    Other
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pfeodrippe/arrudeia
github

pfeodrippe

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More 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

ummoi

Override TLA+ Operators Anywhere
Clojure
8
star
8

tladeps

Simple TLA+ Dependency Manager
Clojure
7
star
9

orchardia

Improving emacs tooling for Arcadia
Clojure
5
star
10

tla-typeof

Usage example of tla-edn.
TLA
4
star
11

wally-tests

Wally tests with love
Clojure
3
star
12

tla-edn-module

EDN Operators for TLA+
TLA
2
star
13

tla-http-client-module

A HTTP Client module for TLA+
Clojure
2
star
14

maxima-projects

Math studies with Maxima
HTML
2
star
15

dev-tooling

Clojure
1
star
16

sci-test

Clojure
1
star
17

guima

Clojure
1
star
18

indicio

Clojure
1
star
19

pdi-2016-1

C++
1
star
20

duro

Clojure
1
star
21

quil-tests

Quil Tests
Clojure
1
star
22

dinamico_dart

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