Markdown code example tester; language-agnostic
☆47Jul 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Calculus of Constructions☆18Jul 17, 2019Updated 6 years ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Dec 15, 2024Updated last year
- A simple module to simulate dynamic waves using the 1-dimensional wave PDE☆11May 26, 2015Updated 10 years ago
- Layouts and prints graphs (DAGs) to the terminal.☆12Sep 27, 2019Updated 6 years ago
- ☆30Sep 23, 2016Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Syntaxes with Binding, Their Programs, and Proofs☆23Oct 26, 2023Updated 2 years ago
- Execute Unix shell commands in Markdown documentation as tests.☆14Aug 1, 2019Updated 6 years ago
- A social networking app built on Beaker's unwalled.garden open standards.☆40Jul 3, 2019Updated 6 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆39May 9, 2026Updated last week
- A NodeJS framework for creating sandboxed runtimes for untrusted code.☆16Jan 11, 2022Updated 4 years ago
- Attach to a node repl using Hyperswarm☆17Aug 11, 2025Updated 9 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- A simple load balancer for Erlang processes☆19Oct 2, 2014Updated 11 years ago
- 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.
- WIP the end of javascript fatigue: an opinionated set of tools for front-end apps☆12Apr 3, 2017Updated 9 years ago
- JSS Loader for Webpack☆65Dec 9, 2015Updated 10 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 7 months ago
- being a particular fragment of Haskell, extended to a proof system☆45Mar 2, 2026Updated 2 months ago
- 🏛️ The context you know and love, but framework agnostic!☆13Sep 1, 2025Updated 8 months ago
- ☆13Jan 7, 2026Updated 4 months ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- produce colors that meet web content accessibility guidelines☆17Apr 14, 2018Updated 8 years ago
- Convert JSON objects into directory structures in the file system, and back again.☆20May 30, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 10 years ago
- Computes the strongly connected components of a directed graph☆27Apr 28, 2016Updated 10 years ago
- A toolkit for working with ABC News projects☆34Apr 27, 2026Updated 3 weeks ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- 💎 A minimal rendering library.☆14Nov 21, 2022Updated 3 years ago
- A simple key/value database with fast rollback support.☆40Jun 2, 2015Updated 10 years ago
- Side scroll shooter in Elm☆13Aug 6, 2017Updated 8 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- 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.
- xstate video player with remix example app☆14Feb 11, 2023Updated 3 years ago
- Improve table testing in Rust.☆10Apr 9, 2018Updated 8 years ago
- Powerful flexbox grid system built on top of glamor.☆12May 22, 2017Updated 8 years ago
- That's NumberWang!☆11Dec 16, 2014Updated 11 years ago
- SSH into your node.js process and access a REPL☆26Apr 14, 2017Updated 9 years ago
- ☆23Jun 26, 2024Updated last year
- Electron hot loader☆13Oct 19, 2017Updated 8 years ago