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 3 years ago
• olynch / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆11Updated 2 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 10 months ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated 4 months ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 11 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 last month
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆31Updated 3 months ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆76Updated this week
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• sordina / japl
  Font for turning J into APL
  ☆12Updated 6 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• entangled / entangled
  bi-directional tangle daemon for literate programming
  ☆88Updated 2 years ago
• hercules-ci / canonix
  Experiment in Nix formatting
  ☆21Updated 5 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
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• bellroy / predictionbook
  Find out just how sure you should be, and get better at being only as sure as the facts justify.
  ☆74Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆73Updated this week
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated 10 months ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 4 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago