Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Modal_logic

Final Year Masters Project: modal logic solver tableaux
Stars
21
License
No license specified
Open Issues
0
Most Recent Commit
2 years ago
Programming Language
Python
Categories
Repo
Suggest An Alternative To modal_logic
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,150
Angular powered Bootstrap
dependent packages 1,068total releases 150latest release November 22, 2023most recent commit 16 days agonpm @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 agonpm @fancyapps/fancybox} Downloads
Popular Graph Algorithms Projects
Networkx ⭐ 13,816
Network Analysis in Python
dependent packages 4,531total releases 92latest release October 28, 2023most recent commit 3 months agopypi networkx} Downloads
Vivagraphjs ⭐ 3,676
Graph drawing library for JavaScript
dependent packages 9total releases 29latest release October 27, 2019most recent commit 3 months agonpm vivagraphjs} Downloads
Alink ⭐ 3,479
Alink is the Machine Learning algorithm platform based on Flink, developed by the PAI team of Alibaba computing platform.
dependent packages 16total releases 19latest release November 03, 2023most recent commit a month ago
Popular User Interface Components Categories
Graph
Table
Form
Icon
Button
Card
Chart
Menu
Slides
Tabs
Related Searches
Python Complexity
Python Modal Dialogs
Python Graph Algorithms
Python Spy
Python Graph Theory
Python Logic Programming
Python Temporal Logic
Python Modal Logic
Complexity Graph Algorithms
Python Complexity Theory

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Modal Dialogs
Graph Algorithms
Graph Theory
Logic Programming
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.