A Dockerfile for building the TLA+ tools
☆13Dec 30, 2018Updated 7 years ago
Alternatives and similar repositories for tla
Users that are interested in tla are comparing it to the libraries listed below
Sorting:
- OCaml-TLS exposed to C☆23Feb 27, 2018Updated 8 years ago
- WiP: RFC 4880 (OpenPGP) library and utilities in OCaml☆24Oct 1, 2018Updated 7 years ago
- Library for logging of numeric data to HDF5 MAT-files, which is RT-safe and multithreaded.☆30Aug 25, 2025Updated 6 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- 7zx is a small C library to extract, test and list 7z / 7zip archives☆10Feb 11, 2023Updated 3 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- ShairPort Plugin for Squeezebox Server☆18May 30, 2020Updated 5 years ago
- B-tree (Bayer, not binary) library in OCaml☆40Feb 1, 2022Updated 4 years ago
- A tool for secret-shared passphrases.☆14Jan 17, 2022Updated 4 years ago
- Rust MCP framework for building AI agents☆22Dec 28, 2025Updated 2 months ago
- My Privoxy configuration files☆27Apr 15, 2012Updated 13 years ago
- hmm-filter: Improve classifier predictions for sequential data with Hidden Markov Models (HMMs)☆12Jan 23, 2019Updated 7 years ago
- Plan It, Say It, Nail It: Mastering Difficult Conversations☆11Aug 11, 2019Updated 6 years ago
- Collection of benchmarks for C++ Exception Handling☆10Apr 6, 2018Updated 7 years ago
- Slides of C++ Day 2018☆12Jun 9, 2019Updated 6 years ago
- CLI testing utility☆24Jan 20, 2026Updated last month
- ☆12Apr 22, 2016Updated 9 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- This is a library which implements certain aspects of the Raft Consensus Algorithm, which is used to get a cluster of servers to agree on…☆11Apr 12, 2021Updated 4 years ago
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 6 years ago
- This repository is based on the .NET Framework and only supports the Windows x64 platform.☆13Aug 12, 2025Updated 6 months ago
- CLI utilty to work out proper constants for vpternlogic instruction☆13Jan 22, 2023Updated 3 years ago
- Node DDD Boilerplate☆10Jul 25, 2018Updated 7 years ago
- I'm learning Rust!☆13Nov 24, 2018Updated 7 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- ☆14Apr 6, 2015Updated 10 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago
- python-csp provides python with communicating sequential processes style parallelism☆12Jul 13, 2021Updated 4 years ago
- ☆23Jun 22, 2017Updated 8 years ago
- LEMMA: Logical Engine for Multi-domain Mathematical Analysis☆27Feb 14, 2026Updated 2 weeks ago
- Validate MyNumber's checkdigit☆11Nov 17, 2015Updated 10 years ago
- ☆12Jan 19, 2022Updated 4 years ago
- Troopers Conference Supporting Materials☆12Apr 8, 2015Updated 10 years ago
- Easy opaque typedef for Rust programming language.☆12Aug 22, 2019Updated 6 years ago
- C++Now Library In a Week 2015 - Application Configuration☆11May 15, 2015Updated 10 years ago
- C++ QD locking library☆11Nov 27, 2025Updated 3 months ago
- OS X rootkit loader version #2☆12Apr 9, 2015Updated 10 years ago
- The SST Effects Repo☆15Updated this week
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 4 months ago