harttle / invert-markdown-tableLinks
Invert (transpose) a GFM Markdown Table
☆14Updated last year
Alternatives and similar repositories for invert-markdown-table
Users that are interested in invert-markdown-table are comparing it to the libraries listed below
Sorting:
- ☆16Updated 2 years ago
- ☆17Updated 2 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- Haskell library for parsing and evaluating typst☆65Updated this week
- A prettyprinting library designed for laying out plain text documents☆24Updated 2 months ago
- A verified compiler for a lazy functional language☆37Updated last week
- Duo - A research language exploring duality in programming language design☆58Updated 2 years ago
- Lean type-checker written in Scala.☆40Updated 3 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 5 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆81Updated 8 years ago
- A WebAssembly implementation in Lean4☆37Updated last year
- ☆35Updated 7 years ago
- Embedding of python interpreter into haskell programs☆13Updated 5 months ago
- Haskell parser for the djot light markup language☆27Updated last month
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- A functional scripting language.☆17Updated 9 months ago
- Efficient effect handlers based on Evidence Passing Semantics.☆32Updated 4 years ago
- ☆37Updated 2 months ago
- ☆16Updated 3 years ago
- A subfield of the complex numbers for exact calculation.☆22Updated 5 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆61Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 8 months ago
- Toy typechecker for Insanely Dependent Types☆82Updated 2 weeks ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated 2 months ago
- Automatically generated Nix expressions for Hackage☆21Updated this week
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago