Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Mlsolver

A tool for solving the satisfiability and validity problems for modal fixpoint logics.
Stars
8
License
No license specified
Open Issues
0
Most Recent Commit
7 years ago
Programming Language
OCaml
Categories
Repo
Suggest An Alternative To mlsolver
Popular University Projects
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 agonpm sweetalert} Downloads
Oni ⭐ 11,477
Oni: Modern Modal Editing - powered by Neovim
dependent packages 3total releases 6latest release April 02, 2017most recent commit 4 years agonpm oni} Downloads
Ng Bootstrap ⭐ 8,155
Angular powered Bootstrap
dependent packages 1,068total releases 150latest release November 22, 2023most recent commit 7 days agonpm @ng-bootstrap/ng-bootstrap} Downloads
Fancybox ⭐ 7,281
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 agonpm @fancyapps/fancybox} Downloads
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
University
Cookbook

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
University
Modal Dialogs
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.