pfeodrippe / tla-ednLinks
A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN
☆16Updated 2 years ago
Alternatives and similar repositories for tla-edn
Users that are interested in tla-edn are comparing it to the libraries listed below
Sorting:
- A Clojure library exploring the application of pure reasoning algorithms.☆19Updated last month
- Macros directly in ClojureScript☆23Updated 3 years ago
- Comparative benchmarking using Criterium☆13Updated 8 years ago
- Sketches at a new documentation tool☆33Updated 6 years ago
- easy directory watches in clojure☆11Updated 5 years ago
- Rich token-based pattern matching for Clojure. Match a template like "do *action with *resource" against an input string like "Do good y…☆13Updated last year
- Binary protocol specs for clojure☆27Updated 4 years ago
- Clojure implementation of URI Template (RFC 6570)☆24Updated 2 years ago
- Faster clojure.set functions.☆29Updated 7 months ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆23Updated last year
- Generic datalog parser compliant to datomic, datascript and datahike queries.☆71Updated 7 months ago
- Benchmarks and faster constructs for Clojure☆13Updated 7 years ago
- Valves is a collection of core.async components☆13Updated 9 years ago
- Crux on S3+DynamoDB☆16Updated 4 years ago
- clojure.spec (spec.alpha) library aiming to be a fundamental tool for analyzing spec errors☆16Updated 6 years ago
- datomic odds and ends☆29Updated 9 years ago
- A clojure library for bypassing java protected fields☆45Updated 12 years ago
- ☆45Updated 5 years ago
- Dev-time datafy and nav☆21Updated 10 months ago
- Extensible Clojure☆106Updated 9 years ago
- ☆10Updated 4 years ago
- whitespace-aware Clojure source code manipulation.☆18Updated 7 years ago
- Byte ropes for clojure and clojurescript.☆54Updated 5 years ago
- Trees where leaves are located both in time and space☆15Updated 4 years ago
- A log dashboard tool powered by Clerk and Lucene☆32Updated 2 years ago
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Updated 10 months ago
- provide upgraded replacements for Clojure editor infrastructure☆33Updated 11 months ago
- Open an NREPL session from an existing python process☆29Updated 4 years ago
- ☆23Updated 7 months ago
- Clojure transducers with a more readable interface☆35Updated 8 years ago