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:
- A prettyprinting library designed for laying out plain text documents☆24Updated 5 months ago
- Haskell library for parsing and evaluating typst☆68Updated last week
- A modern string diagram editor for the web.☆26Updated 9 months ago
- Inline Haskell inside your Python code☆25Updated 3 weeks ago
- Command-like expressions for real infinite-precision calculations☆55Updated 6 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 4 months ago
- A verified compiler for a lazy functional language☆37Updated this week
- ☆15Updated 2 years ago
- Haskell parser for the djot light markup language☆27Updated last week
- Geometry in Coq for French high school [maintainer=@thery]☆21Updated last year
- A Python backed for Idris 2☆29Updated 2 months ago
- Stroll: an experimental build system☆42Updated 2 years ago
- An automatic declarative ASCIInema recorder☆46Updated 2 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- ☆35Updated 7 years ago
- Source files used for the Cedille Cast videos☆13Updated last month
- An efficient finite map from (byte)strings to values.☆20Updated 9 months ago
- ☆11Updated 4 years ago
- Serialization/deserialization using Python Pickle format☆17Updated last year
- Haskell implementation of the Unicode Collation Algorithm☆17Updated last year
- a functional programming language with algebraic effects and handlers☆81Updated 11 months ago
- theseus, functional programming language with fully reversible computation☆126Updated 6 years ago
- Absal ex☆58Updated 2 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated 2 months ago
- ☆37Updated 5 months ago
- The Slate Interactive Theorem Prover☆23Updated 3 years ago
- The Daedalus data description language☆87Updated last week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 months ago
- A subfield of the complex numbers for exact calculation.☆22Updated 5 years ago