pfeodrippe/tla-edn
A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN
ClojureNOASSERTION
Stargazers
- afoltzm@brooklyndefenders
- dcjLikeStream
- DeLaGuardoCisco
- delonnewmanSelf
- dmonayA journey down the abstraction stack
- erichoceanXy Group Ltd
- GHvW
- Isaac-DeFrain@Granola-Team
- jeluard
- nha@griffinbank
- papachanColombia
- refset@xtdb
- respatializedBrooklyn
- sgepigonNew York, NY
- ssjolearySoftware Developer
- vemv
- Xceno@KreatiVRaum