Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Infseqext	13	a year ago	1		Coq
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Modallibrary	11	2 years ago		bsd-2-clause	TeX
Modal Logic Library in Coq

Alternatives To Infseqext

Select To Compare

Infseqext ⭐ 13

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

most recent commit a year ago

Modallibrary ⭐ 11

Modal Logic Library in Coq

most recent commit 2 years ago

Suggest An Alternative To InfSeqExt

Alternative Project Comparisons

Infseqext vs Modallibrary

Popular Coq Projects

Coq ⭐ 4,501

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 4 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

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,150

Angular powered Bootstrap

dependent packages 1,068total releases 150latest release November 22, 2023most recent commit 16 days 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 Mathematics Categories