Who is Pantagruel for?

Pantagruel is an open-source project built for logicians and developers.

Does Pantagruel have a free plan?

Yes — Pantagruel is open source under the BSD-3-Clause license and free to use.

What platforms does Pantagruel run on?

Pantagruel runs on the command line.

Is Pantagruel still maintained?

The GitHub repository shows 834 commits in the last 90 days.

What are alternatives to Pantagruel?

Similar projects tracked by PulseGate include funkuino, cnpj-val, and xpdp1l4lhc980s.

Is Pantagruel open source?

Yes — Pantagruel is open source under the BSD-3-Clause license, developed on GitHub.

Back to the index

Pantagruel

pantagruel-language.comInfrastructure

Pantagruel is a command-line tool designed to help users formalize, check, and validate logical systems, rules, and propositions. It constrains users to precise syntactic forms, assisting in eliminating ambiguity and ensuring rigorous thinking. Suitable for logicians, developers, and researchers.

Open SourceBSD-3-ClauseCLI

Visit pantagruel-language.com

93stars

4forks

4features

2018since

Overview

4 features

Pantagruel sits in PulseGate's Other dev tools category. It focuses on formalizing and validating logical systems and rule-based descriptions for rigorous thinking. Pantagruel is an open-source project aimed at logicians and developers. The project is open source (BSD-3-Clause). It ships for the command line.

Pantagruel first shipped in 2018. Development happens publicly on GitHub with 93 stars and 834 commits in the last 90 days. Among its 4 catalogued features are syntax checking, rule validation, and logic constraints.

Summary written by a language model from the project’s public pages.

Syntax checking
Rule validation
Logic constraints
Command-line interface

Built with & integrations

Hosting

Netlify

Runs on

CLI

Detected from

Netlify: x-nf-request-id header

Trust & compliance

License

BSD-3-Clause

Verified signals

HTTPSOpen SourceFree tierGitHub · ★ 93Active maintenance

Indexing history

What PulseGate has recorded for this listing

Indexed27 Jun · 18:13 UTC
Listing verified against its public source
Source: PulseGate · Open

Frequently asked questions about Pantagruel

What is Pantagruel?: Pantagruel focuses on formalizing and validating logical systems and rule-based descriptions for rigorous thinking. It is catalogued under Other dev tools on PulseGate.
Who is Pantagruel for?: Pantagruel is an open-source project built for logicians and developers.
Does Pantagruel have a free plan?: Yes — Pantagruel is open source under the BSD-3-Clause license and free to use.
What platforms does Pantagruel run on?: Pantagruel runs on the command line.
Is Pantagruel still maintained?: The GitHub repository shows 834 commits in the last 90 days.
What are alternatives to Pantagruel?: Similar projects tracked by PulseGate include funkuino, cnpj-val, and xpdp1l4lhc980s.funkuino cnpj-val xpdp1l4lhc980s
How long has Pantagruel been around?: Pantagruel first shipped in 2018.
Is Pantagruel open source?: Yes — Pantagruel is open source under the BSD-3-Clause license, developed on GitHub.

At a glance

Platforms: Cli
Languages: English
Open source: Yes · ★ 93
License: BSD-3-Clause
Built for: logicians and developers
Model: Open source
Solves: Formalizing and validating logical systems and rule-based descriptions for rigorous thinking.

Registered as

GitHub: subsetpark/pantagruel

Developer

Subsetpark

Team

GitHub

Open source

View on GitHub

Stars: 93
Forks: 4
Open issues: 1
Last commit: 25 Jun 2026
Commits 90d: 834
Contributors: 6
Authorship: Team
Default branch: master
Latest release: v0.23.0 · 28 May 2026

Live coverage

Identity confidence: High · 93.8
Indexed: 27 Jun 2026
Lifecycle: Unverified
Last seen: 27 Jun 2026

Identity audit (12)

Slug: pantagruel-pantagruel-language-com
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 27 Jun 2026
Timeline basis: Indexed-at chronology. This listing's first-seen date was written by the catalog backfill, not observed here, so it is not treated as a sighting.
Name from: Derived from the project's own page and URL.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model, checked against the page's own declaration.
Last updated: 27 Jun 2026
Canonical URL: https://pantagruel-language.com/

Ship this? Send a correction — no account, and you get a link to follow it.

Also in Other dev tools

Same category — not a similarity match