pfeodrippe / tla-edn
A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN
☆17Updated 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
- Sketches at a new documentation tool☆33Updated 6 years ago
- Comparative benchmarking using Criterium☆13Updated 8 years ago
- A clojure library for bypassing java protected fields☆45Updated 11 years ago
- Research and Innovation Group - 9P library for Clojure☆21Updated 7 months ago
- Minimal Clojure-like interpreter with FEXPRs☆16Updated 12 years ago
- whitespace-aware Clojure source code manipulation.☆18Updated 7 years ago
- Macros directly in ClojureScript☆23Updated 3 years ago
- #%☆22Updated 3 years ago
- Faster clojure.set functions.☆29Updated 4 months ago
- Extensible Clojure☆106Updated 9 years ago
- clojure predicate dispatch☆27Updated 7 years ago
- easy directory watches in clojure☆11Updated 5 years ago
- Infer the general shape of data and produce a schema from it☆18Updated 7 years ago
- Crux on S3+DynamoDB☆16Updated 4 years ago
- Benchmarks and faster constructs for Clojure☆14Updated 6 years ago
- Clojure transducers with a more readable interface☆36Updated 8 years ago
- Library to show source code and arguments in stack backtraces☆29Updated 6 years ago
- Explorations into specification-as-a-value☆42Updated 11 years ago
- Google's ortools with Clojure☆16Updated 6 years ago
- docopt's Clojure (unnoficial) implementation.☆14Updated 5 years ago
- Clojure library for creating (dev) namespaces of proxy vars☆18Updated 6 years ago
- Quick and dirty directed graph viewer for REPL explorations.☆24Updated last year
- DEPRECATED! This was only a test and is no longer supported.☆14Updated 6 years ago
- ☆45Updated 5 years ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Updated 5 years ago
- Binary protocol specs for clojure☆27Updated 4 years ago
- Valves is a collection of core.async components☆13Updated 9 years ago
- clojure.spec (spec.alpha) library aiming to be a fundamental tool for analyzing spec errors☆16Updated 6 years ago
- Generalized IO interface that uses urls and makes doing rapid research easier☆15Updated last year
- Specter paths for working with formatted EDN and Clojure code☆16Updated 7 years ago