Markdown code example tester; language-agnostic
☆48Jul 18, 2023Updated 3 years ago
Alternatives and similar repositories for txm
Users that are interested in txm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Shrinking induction-recursion... sometimes you just wanna be small!☆16May 7, 2026Updated 5 months ago
- In-place translation of TLA⁺ symbols into Unicode, in Neovim☆15Oct 17, 2026Updated last week
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Dec 15, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Layouts and prints graphs (DAGs) to the terminal.☆12Sep 27, 2019Updated 7 years ago
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 8 years ago
- Command-line budgeting software in TypeScript☆15Feb 3, 2025Updated last year
- Nix overlay for Cairo☆11May 8, 2024Updated 2 years ago
- Simpler Facebook FQL queries for Node.☆14Aug 20, 2017Updated 9 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Simple command-line tool for macOS that encodes videos in a format suitable for publishing to Mastodon☆17Dec 24, 2022Updated 3 years ago
- RFCs for changes to the TLA+ specification language☆12Sep 22, 2026Updated last month
- Create self-guided workshops with electron.☆28Oct 4, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Generate FullPage HTML slides with Markdown☆21Feb 7, 2021Updated 5 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 6 years ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆19Aug 28, 2024Updated 2 years ago
- JavaScript proposal for unordered async iterator helpers☆21Aug 7, 2024Updated 2 years ago
- A choo-based grid/spreadsheet editor☆11Jun 24, 2017Updated 9 years ago
- json-schema + fast-check = Property testing in JS with JSON Schema☆21Feb 12, 2022Updated 4 years ago
- ☆30Sep 23, 2016Updated 10 years ago
- An experiment in publishing a Haskell library as a Python Wheel.☆11Apr 30, 2025Updated last year
- Sheetify plugin to unwrap nested rules☆11Dec 14, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- WIP the end of javascript fatigue: an opinionated set of tools for front-end apps☆12Apr 3, 2017Updated 9 years ago
- 🌳 A Rollup plugin that automatically annotates your module as tree shakeable.☆10Oct 14, 2025Updated last year
- Browserify plugin to extract csjs into an external css bundle☆14Feb 23, 2016Updated 10 years ago
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- Demonstrate property based testing in Jest, including using save/re-run failed seeds☆11Apr 22, 2019Updated 7 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 9 months ago
- Merge commonjs modules into a single file with maximum possible efficiency.☆13Aug 31, 2016Updated 10 years ago
- Tiny executable techniques for dealing with emoji☆22Apr 4, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 4 years ago
- Run TLC in cmd☆15Jan 20, 2026Updated 9 months ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- A simple key/value database with fast rollback support.☆40Jun 2, 2015Updated 11 years ago
- Byzantine model checker☆21Mar 7, 2023Updated 3 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- CLI tool to help support event sourcing applications☆12Jul 13, 2021Updated 5 years ago