pfeodrippe / tla-edn
A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN
☆17Updated last year
Related projects ⓘ
Alternatives and complementary repositories for tla-edn
- Macros directly in ClojureScript☆23Updated 2 years ago
- A clojure library for bypassing java protected fields☆45Updated 11 years ago
- Minimal Clojure-like interpreter with FEXPRs☆16Updated 12 years ago
- Research and Innovation Group - 9P library for Clojure☆21Updated 4 months ago
- Sketches at a new documentation tool☆33Updated 6 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
- ☆44Updated 5 years ago
- A redis backend with carmine for konserve.☆10Updated 4 years ago
- Clojure transducers with a more readable interface☆36Updated 8 years ago
- Byte ropes for clojure and clojurescript.☆54Updated 5 years ago
- Comparative benchmarking using Criterium☆13Updated 7 years ago
- Generic datalog parser compliant to datomic, datascript and datahike queries.☆71Updated last month
- A log dashboard tool powered by Clerk and Lucene☆31Updated last year
- Extensible Clojure☆106Updated 8 years ago
- Dev-time datafy and nav☆20Updated 4 months ago
- Faster clojure.set functions.☆28Updated last month
- Idempotency with side-effects☆31Updated 3 months ago
- Benchmarks and faster constructs for Clojure☆14Updated 6 years ago
- Compact pretty printer☆37Updated 6 years ago
- Quick and dirty directed graph viewer for REPL explorations.☆24Updated 11 months ago
- A collection of specter navigators: tools for finding and modifying stuff in structured data☆14Updated last year
- Valves is a collection of core.async components☆13Updated 9 years ago
- Library to show source code and arguments in stack backtraces☆29Updated 6 years ago
- Traverse and rewrite Clojure/ClojureScript/EDN from ClojureScript☆41Updated 3 years ago
- Explorations into specification-as-a-value☆42Updated 11 years ago
- Example setups of selected Clojure libraries☆19Updated 2 years ago
- all events are determined by previously existing causes☆22Updated 5 years ago
- Pure Java (and JavaScript) Halunke☆18Updated 6 years ago
- Write synthesizable FPGA code with Clojure syntax☆18Updated last year