Alternatives and similar repositories for NPRG014

Users that are interested in NPRG014 are comparing it to the libraries listed below

• harttle / invert-markdown-table
  Invert (transpose) a GFM Markdown Table
  ☆12Updated last year
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆36Updated 3 weeks ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆60Updated last month
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆46Updated 4 months ago
• vituscze / norri
  ☆9Updated last year
• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆86Updated 5 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆17Updated 3 weeks ago
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated last week
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆42Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated 2 weeks ago
• Inria-Prosecco / StarMalloc
  A verified, modern, hardened memory allocator. [maintainer=@cmovcc]
  ☆27Updated 2 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• benediktahrens / CT4P
  ☆34Updated 7 months ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated 3 weeks ago
• isovector / functional-design-patterns
  could it be?
  ☆18Updated 11 months ago
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆28Updated 2 years ago
• leanprover / reservoir
  Package registry for Lean/Lake.
  ☆19Updated last month
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆43Updated last month
• ammkrn / type_checking_in_lean4
  Type Checking in Lean 4
  ☆28Updated 3 weeks ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆12Updated last year
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆17Updated 5 months ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated last month
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆27Updated 2 years ago