pfeodrippe / tla-ednLinks
A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN
☆16Updated this week
Alternatives and similar repositories for tla-edn
Users that are interested in tla-edn are comparing it to the libraries listed below
Sorting:
- Faster clojure.set functions.☆30Updated last year
- Generalized IO interface that uses urls and makes doing rapid research easier☆15Updated 2 years ago
- Search and replace in HTML5 strings.☆12Updated 2 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 2 years ago
- Dev-time datafy and nav☆21Updated last year
- Research and Innovation Group - 9P library for Clojure☆21Updated last year
- Extract Malli schemas from SQL table schemas.☆19Updated 4 years ago
- Extensible Clojure☆107Updated 9 years ago
- whitespace-aware Clojure source code manipulation.☆18Updated 8 years ago
- ☆23Updated last year
- Things wanted or needed but missing from clojure.core☆20Updated 4 months ago
- Explorations into specification-as-a-value☆42Updated 12 years ago
- Generic datalog parser compliant to datomic, datascript and datahike queries.☆72Updated last year
- easy directory watches in clojure☆11Updated 6 years ago
- Sketches at a new documentation tool☆33Updated 7 years ago
- Minimal Clojure-like interpreter with FEXPRs☆16Updated 13 years ago
- A clojure library for bypassing java protected fields☆46Updated 12 years ago
- Crux on S3+DynamoDB☆16Updated 5 years ago
- Restartable exception handling for Clojure, allowing you to recover from exceptions without unwinding the stack.☆35Updated 7 years ago
- A Clojure coding tool☆19Updated last year
- Pure Java (and JavaScript) Halunke☆18Updated 7 years ago
- Clojure implementation of URI Template (RFC 6570)☆24Updated 3 years ago
- Using TCP congestion control methods to find/set real limits of a system over time☆20Updated 3 years ago
- A Clojure library providing client-side implementations of Clojure datastructures served by replicant-server.☆14Updated last year
- emacs for data☆12Updated 7 years ago
- Generate images from Graphviz dot strings in Clojure and Clojurescript☆31Updated 5 years ago
- Open an NREPL session from an existing python process☆29Updated 5 years ago
- PostgreSQL procedural language handler for Clojure via SCI☆49Updated 4 years ago
- A tiny graph library in Clojure.☆19Updated 7 months ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Updated 6 years ago