Alternatives and similar repositories for invert-markdown-table

Users that are interested in invert-markdown-table are comparing it to the libraries listed below

• LightAndLight / ipso
  A functional scripting language.
  ☆17Updated 8 months ago
• BeFunctional / haskell-foreign-rust
  ☆16Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆26Updated 2 years ago
• jneem / ojo
  ☆37Updated 2 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆65Updated last month
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago
• nabijaczleweli / wustc
  Exampwe of ewwonyenyonyuns code:
  ☆15Updated 6 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆36Updated this week
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆27Updated 3 years ago
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Updated 2 months ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 4 months ago
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆15Updated last year
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated 5 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 5 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated 2 weeks ago
• proglang / ldgv
  Label dependent dependent session types
  ☆16Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• jgm / djoths
  Haskell parser for the djot light markup language
  ☆27Updated 2 weeks ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago