Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Pypl	12	a year ago		other	Python
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Hintikkasworld	8	2 years ago	1		TeX
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

Alternatives To Pypl

Select To Compare

Pypl ⭐ 12

Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions

most recent commit a year ago

Hintikkasworld ⭐ 8

Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.

most recent commit 2 years ago

Suggest An Alternative To pyPL

Alternative Project Comparisons

Pypl vs Hintikkasworld

Popular Model Checking Projects

P ⭐ 2,845

The P programming language.

dependent packages 1total releases 3latest release April 04, 2023most recent commit 4 months ago

Tlaplus ⭐ 2,154

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

most recent commit 3 months ago

Kani ⭐ 1,699

Kani Rust Verifier

total releases 44latest release November 28, 2023most recent commit 3 months ago

Tla Rust ⭐ 831

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

most recent commit 7 years ago

Alive2 ⭐ 634

Automatic verification of LLVM optimizations

most recent commit 3 months ago

Popular Modal Dialogs Projects

Sweetalert ⭐ 22,235

A beautiful replacement for JavaScript's "alert"

dependent packages 328total releases 22latest release October 29, 2018most recent commit a year ago

Sweetalert2 ⭐ 16,563

✨ A beautiful, responsive, highly customizable and accessible (WAI-ARIA) replacement for JavaScript's popup boxes. Zero dependencies. 🇺🇦

dependent packages 1,138total releases 707latest release November 19, 2023most recent commit 3 months ago

Oni ⭐ 11,477

Oni: Modern Modal Editing - powered by Neovim

dependent packages 3total releases 6latest release April 02, 2017most recent commit 4 years ago

Ng Bootstrap ⭐ 8,146

Angular powered Bootstrap

dependent packages 1,068total releases 150latest release November 22, 2023most recent commit a month ago

npm @ng-bootstrap/ng-bootstrap} Downloads

Fancybox ⭐ 7,277

jQuery lightbox script for displaying images, videos and more. Touch enabled, responsive and fully customizable.

dependent packages 28total releases 23latest release March 11, 2019most recent commit a year ago

Popular Software Quality Categories

Test Driven Development

Rspec

Junit