☆33Nov 23, 2014Updated 11 years ago
Alternatives and similar repositories for tlaplus
Users that are interested in tlaplus are comparing it to the libraries listed below
Sorting:
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- Regular path expressions for Java object networks and Clojure data structures.☆17Oct 31, 2014Updated 11 years ago
- My QEMU tree☆17Apr 3, 2022Updated 3 years ago
- A TLA+ module for animating TLC traces.☆47Dec 9, 2024Updated last year
- Library of crypto primitives for embedded systems☆25Jun 11, 2014Updated 11 years ago
- CS 733 assignments☆25Apr 23, 2015Updated 10 years ago
- This repo contains the reference materials to my RICON 2014 talk☆33Jul 17, 2017Updated 8 years ago
- Structure and Interpretation of Computer Programs in Clojure☆43Jun 14, 2010Updated 15 years ago
- Library to show source code and arguments in stack backtraces☆29Jun 20, 2018Updated 7 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 11 years ago
- A software-based Ethernet switch design built around a memory-efficient, high-performance, and highly-concurrent hash table for compact a…☆37Aug 25, 2015Updated 10 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 29, 2023Updated 2 years ago
- A ClojureScript library for keeping your state in step☆90Apr 10, 2012Updated 13 years ago
- A compact implementation of Dr. Askitis HatTrie☆80May 20, 2014Updated 11 years ago
- A collection of additional language phonology settings for use with VulgarLang.☆13Aug 19, 2022Updated 3 years ago
- Fundamental Accounting Concept Relations validation for International Financial Reporting Standards (IFRS).☆14Sep 20, 2018Updated 7 years ago
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆848Apr 18, 2022Updated 3 years ago
- Robots powered by Constructive Reals☆34Nov 3, 2017Updated 8 years ago
- A library for analyzing LLVM bitcode in Haskell☆44Oct 9, 2014Updated 11 years ago
- ☆10Sep 10, 2023Updated 2 years ago
- Sieve for Exchange but really just Perl doing HTTP requests☆12Sep 17, 2016Updated 9 years ago
- All our CS251 assignments☆12Nov 10, 2016Updated 9 years ago
- Compressed Bloom Filters (Golomb-compressed sequences, with indices)☆17May 19, 2013Updated 12 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- ☆16Nov 2, 2025Updated 4 months ago
- an animated Mayan Calendar☆12Jan 12, 2014Updated 12 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Feb 26, 2026Updated last week
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Feb 21, 2026Updated 2 weeks ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- [NeurIPS 2025] Official code for "Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms"☆23Oct 23, 2025Updated 4 months ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- ReBucket: group panic()s by similarity☆12Nov 1, 2019Updated 6 years ago
- Thrive is an ETL framework that runs single-row transformations on HDFS data and makes the data available in relational databases (Hive a…☆10Aug 4, 2017Updated 8 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- A rework plugin to read and inline css via @import☆23Oct 14, 2020Updated 5 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago