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
  ☆27Updated 3 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆21Updated 6 years ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated this week
• softwarefactory-project / dhall-containerfile
  Manage your Containerfile with Dhall.
  ☆31Updated 3 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 5 years ago
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated 6 months ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆76Updated 4 months ago
• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆39Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆80Updated this week
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• barry-jay-personal / blog
  a general blog about my projects, or anything
  ☆18Updated 2 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆35Updated 2 months ago
• tek / amino
  functional data structures and utilities for python
  ☆36Updated 6 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• AABoyles / LessWrong-Portable
  Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
  ☆44Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated last year
• NunoSempere / longnow-for-markdown
  Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))
  ☆21Updated 3 months ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated 2 years ago
• yvan-sraka / contracts
  ☆24Updated last year
• sordina / japl
  Font for turning J into APL
  ☆13Updated 6 years ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated last year
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• LeastAuthority / haskell-magic-wormhole
  Magic Wormhole for Haskell
  ☆11Updated last year
• ralsei / graphite
  A data visualization library for Racket.
  ☆37Updated 7 months ago
• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆78Updated 3 years ago