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
  ☆25Updated 2 years ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last week
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆82Updated this week
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆75Updated 3 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated this week
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 7 months ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• adityaathalye / oxo
  A game of traditional 3x3 Noughts and Crosses, in Bash.
  ☆12Updated 4 months ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆21Updated 8 months ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• otherjoel / splitflap
  🔖⚛️ RSS / Atom feed generation library for Racket
  ☆22Updated 4 months ago
• ralsei / graphite
  A data visualization library for Racket.
  ☆35Updated 2 months ago
• EmaApps / orgself
  Exploring calendar outlining
  ☆15Updated 11 months ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• jackfirth / racket-package-template
  My personal template repository for Racket packages
  ☆15Updated 4 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆30Updated 2 weeks ago
• vmchale / dickinson
  Text generation language
  ☆33Updated 2 weeks ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆72Updated this week
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆88Updated 3 years ago
• arcfide / Haven
  Your happy place for learning APL
  ☆16Updated 2 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last week
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 8 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆71Updated 3 months ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆23Updated 5 years ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆14Updated last year