Alternatives and similar repositories for pedant:

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

• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 2 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 9 months ago
• manicmaniac / coconut.vim
  Vim syntax highlight and indent definition for coconut.
  ☆19Updated 7 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆66Updated last month
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• zimbatm / shab
  the bash templating language
  ☆51Updated last year
• riceissa / ea-forum-reader
  EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)
  ☆12Updated 3 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 2 weeks ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated this week
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆87Updated 3 weeks ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆29Updated 2 months ago
• NunoSempere / longnow-for-markdown
  Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))
  ☆20Updated 2 weeks ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆77Updated 3 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated 2 months ago
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆47Updated 3 months ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 5 years ago
• entangled / entangled
  bi-directional tangle daemon for literate programming
  ☆87Updated 2 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆12Updated 5 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated last week
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆89Updated 3 years ago
• dfithian / chez-grater
  ☆36Updated last year
• vmchale / pybqn
  BQN↔NumPy bridge
  ☆19Updated this week
• andrewchambers / magnet-linux
  A decentralized linux distribution.
  ☆12Updated 2 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 10 months ago
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆73Updated 2 months ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 10 months ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated 4 months ago
• softwarefactory-project / dhall-ansible
  Ansible definitions with Dhall
  ☆67Updated 8 months ago