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 8 months ago
• s-zeng / dhall-python
  Up-to-date and maintained python bindings for dhall, a functional configuration language
  ☆46Updated 2 months ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆85Updated this week
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 9 months ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated 3 weeks ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 weeks ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆19Updated 5 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆25Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆39Updated last year
• jkoppel / ecta
  ☆34Updated 10 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆23Updated 5 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆72Updated this week
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆33Updated last month
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated this week
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆46Updated 5 months ago