Markdown code example tester; language-agnostic
☆46Jul 18, 2023Updated 2 years ago
Alternatives and similar repositories for txm
Users that are interested in txm are comparing it to the libraries listed below
Sorting:
- contains both facts and opinions about es-whateverthefuck☆14Aug 3, 2016Updated 9 years ago
- Calculus of Constructions☆18Jul 17, 2019Updated 6 years ago
- A simple module to simulate dynamic waves using the 1-dimensional wave PDE☆11May 26, 2015Updated 10 years ago
- Command-line budgeting software in TypeScript☆15Feb 3, 2025Updated last year
- Browserify plugin to extract csjs into an external css bundle☆14Feb 23, 2016Updated 10 years ago
- ☆30Sep 23, 2016Updated 9 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- Install `wasm-bindgen` by downloading the executable☆12Mar 3, 2023Updated 3 years ago
- Execute Unix shell commands in Markdown documentation as tests.☆14Aug 1, 2019Updated 6 years ago
- Create self-guided workshops with electron.☆28Oct 4, 2017Updated 8 years ago
- Lightweight Universal Content Addressable Storage Spec☆18Jul 12, 2019Updated 6 years ago
- Log server information☆11Apr 25, 2017Updated 8 years ago
- A social networking app built on Beaker's unwalled.garden open standards.☆40Jul 3, 2019Updated 6 years ago
- Turn your Gists into Interactive Coding Challenges in the TypeScript Playground.☆12Jan 5, 2023Updated 3 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆38Mar 10, 2026Updated last week
- A NodeJS framework for creating sandboxed runtimes for untrusted code.☆16Jan 11, 2022Updated 4 years ago
- The public Recoil API, for library and application developers.☆13Nov 6, 2024Updated last year
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 2 months ago
- Attach to a node repl using Hyperswarm☆16Aug 11, 2025Updated 7 months ago
- ☆11Mar 31, 2015Updated 10 years ago
- Swift and Objective-C Comparison Reporter☆13Mar 1, 2017Updated 9 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- A parser for files in the Unicode database☆16Nov 17, 2019Updated 6 years ago
- Command-line utility to draw charts easily☆13Mar 29, 2024Updated last year
- work in progress...☆27Feb 17, 2012Updated 14 years ago
- Haskell version of jsmin js minifier☆29Jan 11, 2023Updated 3 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated 11 months ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 6 years ago
- A simple load balancer for Erlang processes☆19Oct 2, 2014Updated 11 years ago
- WIP the end of javascript fatigue: an opinionated set of tools for front-end apps☆12Apr 3, 2017Updated 8 years ago
- Concurrent spec runner for Peridot☆12Feb 24, 2015Updated 11 years ago
- being a particular fragment of Haskell, extended to a proof system☆43Mar 2, 2026Updated 2 weeks ago
- Run PonyDebugger entirely on your iPhone or iPad. No computer needed.☆20Apr 11, 2015Updated 10 years ago
- ☆13Apr 2, 2023Updated 2 years ago
- TypeDoc Theme which is wonderful for GitHub pages☆18Feb 15, 2026Updated last month
- Exploratory project to gather Haskell links☆10May 27, 2025Updated 9 months ago
- ☆13Jan 7, 2026Updated 2 months ago
- Kat’s next-generation LLM-powered package manager☆12Apr 1, 2025Updated 11 months ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago