pfeodrippe/tladeps

Stars
7
Rank 2,244,823 (Top 46 %)
Language
Clojure
License
MIT License
Created almost 3 years ago
Updated about 1 year ago

pfeodrippe/tladeps

pfeodrippe

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

Simple TLA+ Dependency Manager

recife

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

wally

A Clojure Playwright wrapper

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

orchardia

Improving emacs tooling for Arcadia

tla-typeof

Usage example of tla-edn.

wally-tests

Wally tests with love

tla-edn-module

EDN Operators for TLA+

tla-http-client-module

A HTTP Client module for TLA+

maxima-projects

Math studies with Maxima

dev-tooling

sci-test

guima

indicio

pdi-2016-1

duro

quil-tests

dinamico_dart

Support library for `Dinâmico`