Alternatives and similar repositories for pedant

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

• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 11 months ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆88Updated last week
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 3 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 6 months ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆16Updated this week
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆23Updated 2 months ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 11 months ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 6 years ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 4 months ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated this week
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated this week
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆52Updated 4 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆35Updated 12 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated last year
• nixcon / nixcon-video-infra
  ☆16Updated 4 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆74Updated 3 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated last month
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 5 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• olynch / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆11Updated 2 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago