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
- Faster clojure.set functions.☆29Updated 3 months ago
- Macros directly in ClojureScript☆23Updated 3 years ago
- A clojure library for bypassing java protected fields☆45Updated 11 years ago
- easy directory watches in clojure☆11Updated 5 years ago
- Comparative benchmarking using Criterium☆13Updated 8 years ago
- Benchmarks and faster constructs for Clojure☆14Updated 6 years ago
- Sketches at a new documentation tool☆33Updated 6 years ago
- Crux on S3+DynamoDB☆16Updated 4 years ago
- ☆45Updated 5 years ago
- Extensible Clojure☆106Updated 9 years ago
- provide upgraded replacements for Clojure editor infrastructure☆33Updated 7 months ago
- A collection of specter navigators: tools for finding and modifying stuff in structured data☆14Updated last year
- ☆22Updated 6 years ago
- Generic datalog parser compliant to datomic, datascript and datahike queries.☆72Updated 3 months ago
- ☆22Updated 2 months ago
- Binary protocol specs for clojure☆27Updated 4 years ago
- Valves is a collection of core.async components☆13Updated 9 years ago
- Generate images from Graphviz dot strings in Clojure and Clojurescript☆31Updated 4 years ago
- Using TCP congestion control methods to find/set real limits of a system over time☆20Updated 2 years ago
- A Clojure utility to inspect static types inferred by the Clojure compiler☆21Updated last year
- A tiny graph library in Clojure.☆19Updated 5 years ago
- Trees where leaves are located both in time and space☆15Updated 3 years ago
- Research and Innovation Group - 9P library for Clojure☆21Updated 6 months ago
- A redis backend with carmine for konserve.☆10Updated 4 years ago
- Byte ropes for clojure and clojurescript.☆54Updated 5 years ago
- A Minimal Implementation of Incremental Computation in Clojure and ClojureScript☆17Updated 5 years ago
- Google's ortools with Clojure☆16Updated 6 years ago
- Minimal Clojure-like interpreter with FEXPRs☆16Updated 12 years ago
- A Clojure library of optimisation and control theory tools and convenience functions based on Neanderthal.☆25Updated 4 years ago
- Library for dealing with newline separated EDN files☆27Updated 3 years ago