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
- ☆44Updated 4 years ago
- A clojure library for bypassing java protected fields☆45Updated 11 years ago
- Crux on S3+DynamoDB☆16Updated 4 years ago
- Generic datalog parser compliant to datomic, datascript and datahike queries.☆71Updated 3 weeks ago
- Using TCP congestion control methods to find/set real limits of a system over time☆20Updated last year
- A log dashboard tool powered by Clerk and Lucene☆31Updated last year
- Faster clojure.set functions.☆28Updated last month
- Library for dealing with newline separated EDN files☆27Updated 3 years ago
- tiny analyzer, maybe☆20Updated 5 years ago
- Binary protocol specs for clojure☆27Updated 3 years ago
- Research and Innovation Group - 9P library for Clojure☆21Updated 3 months ago
- Byte ropes for clojure and clojurescript.☆54Updated 5 years ago
- clojure tools for getting information about the jvm runtime☆38Updated 2 years ago
- Quick and dirty directed graph viewer for REPL explorations.☆24Updated 10 months ago
- clojure.spec to json-schema generation library☆25Updated 2 weeks ago
- Clojure implementation of URI Template (RFC 6570)☆24Updated 2 years ago
- Utility to generate diagrams and documents; sequence diagram generator☆10Updated 4 years ago
- Benchmarks and faster constructs for Clojure☆14Updated 6 years ago
- ☆10Updated 4 years ago
- Safe transport of unknown record types in distributed systems.☆22Updated last year
- datomic odds and ends☆29Updated 9 years ago
- Tool to simplify workflow with Git-based Clojure dependencies using clojure.tools.deps☆15Updated 4 years ago
- GraphQL queries as Clojure data structures☆19Updated last month
- Restartable exception handling for Clojure, allowing you to recover from exceptions without unwinding the stack.☆34Updated 6 years ago
- RAII resource management system☆31Updated last year
- provide upgraded replacements for Clojure editor infrastructure☆33Updated 4 months ago
- Pure Java (and JavaScript) Halunke☆18Updated 6 years ago
- Extract Malli schemas from SQL table schemas.☆19Updated 3 years ago
- Binary protocol handling library☆19Updated 2 years ago