All Projects → Modal_logic → Similar Projects or Alternatives

441 Open source projects that are alternatives of or similar to Modal_logic

Grakn
TypeDB: a strongly-typed database
Stars: ✭ 2,947 (+18318.75%)
Mutual labels:  graph-algorithms, graph-theory, logic
Networkx
Network Analysis in Python
Stars: ✭ 10,057 (+62756.25%)
Mutual labels:  graph-algorithms, graph-theory
kaliningraph
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
Stars: ✭ 62 (+287.5%)
Mutual labels:  graph-algorithms, graph-theory
Graph-Algorithms
Everything you need to know about graph theory to ace a technical interview 🔥
Stars: ✭ 87 (+443.75%)
Mutual labels:  graph-algorithms, graph-theory
Libgrape Lite
🍇 A C++ library for parallel graph processing 🍇
Stars: ✭ 169 (+956.25%)
Mutual labels:  graph-algorithms, graph-theory
Erdos
modular and modern graph-theory algorithms framework in Java
Stars: ✭ 104 (+550%)
Mutual labels:  graph-algorithms, graph-theory
Lightgraphs.jl
An optimized graphs package for the Julia programming language
Stars: ✭ 611 (+3718.75%)
Mutual labels:  graph-algorithms, graph-theory
Graphs.jl
An optimized graphs package for the Julia programming language
Stars: ✭ 197 (+1131.25%)
Mutual labels:  graph-algorithms, graph-theory
Grafatko
An app for creating and visualizing graphs and graph-related algorithms.
Stars: ✭ 22 (+37.5%)
Mutual labels:  graph-algorithms, graph-theory
jgrapht
Master repository for the JGraphT project
Stars: ✭ 2,259 (+14018.75%)
Mutual labels:  graph-algorithms, graph-theory
graphs
Graph algorithms written in Go
Stars: ✭ 60 (+275%)
Mutual labels:  graph-algorithms, graph-theory
networkx-guide
We here are very big fans of NetworkX as a graph library and its comprehensive set of graph algorithms. For many though, working with NetworkX involves a steep learning curve. This guide is designed as an aid for beginners and experienced users to find specific tips and explore the world of complex networks.
Stars: ✭ 28 (+75%)
Mutual labels:  graph-algorithms, graph-theory
Differentia.js
No longer being supported or maintained. A Graph Theory & Data Structure Library for JavaScript.
Stars: ✭ 13 (-18.75%)
Mutual labels:  graph-algorithms, graph-theory
typedb
TypeDB: a strongly-typed database
Stars: ✭ 3,152 (+19600%)
Mutual labels:  logic, graph-theory
grblas
Python wrapper around GraphBLAS
Stars: ✭ 22 (+37.5%)
Mutual labels:  graph-algorithms, graph-theory
Graph
Graph algorithms and data structures
Stars: ✭ 431 (+2593.75%)
Mutual labels:  graph-algorithms, graph-theory
D3graphtheory
💥 Interactive and colorful 🎨 graph theory tutorials made using d3.js ⚡️
Stars: ✭ 1,364 (+8425%)
Mutual labels:  graph-algorithms, graph-theory
jsgraph
Deprecated: Use the @encapsule/arccore package that includes the graph library
Stars: ✭ 42 (+162.5%)
Mutual labels:  graph-algorithms, graph-theory
LightGraphs.jl
An optimized graphs package for the Julia programming language
Stars: ✭ 680 (+4150%)
Mutual labels:  graph-algorithms, graph-theory
everystreet
An algorithm finding #everystreet route on Open Street Map (OSMnx)
Stars: ✭ 43 (+168.75%)
Mutual labels:  graph-algorithms, graph-theory
React Native Modal
An enhanced, animated, customizable Modal for React Native.
Stars: ✭ 4,671 (+29093.75%)
Mutual labels:  modal
Mediumlightbox
Nice and elegant way to add zooming functionality for images, inspired by medium.com
Stars: ✭ 671 (+4093.75%)
Mutual labels:  modal
Boolr
A digital logic simulator
Stars: ✭ 445 (+2681.25%)
Mutual labels:  logic
Cleanymodal
Swift UI Kit to present clean modal/alert
Stars: ✭ 437 (+2631.25%)
Mutual labels:  modal
Django Admin Interface
django's default admin interface made customizable. popup windows replaced by modals. :mage: ⚡️
Stars: ✭ 717 (+4381.25%)
Mutual labels:  modal
Quickqanava
C++14 network/graph visualization library / Qt node editor.
Stars: ✭ 611 (+3718.75%)
Mutual labels:  graph-theory
Gijgo
Gijgo - Free Javascript Controls
Stars: ✭ 424 (+2550%)
Mutual labels:  modal
React Cool Portal
😎 🍒 React hook for Portals, which renders modals, dropdowns, tooltips etc. to <body> or else.
Stars: ✭ 458 (+2762.5%)
Mutual labels:  modal
Sweet Modal Vue
The sweetest library to happen to modals.
Stars: ✭ 682 (+4162.5%)
Mutual labels:  modal
C Sharp Algorithms
📚 📈 Plug-and-play class-library project of standard Data Structures and Algorithms in C#
Stars: ✭ 4,684 (+29175%)
Mutual labels:  graph-algorithms
Simplelightbox
Touch-friendly image lightbox for mobile and desktop
Stars: ✭ 744 (+4550%)
Mutual labels:  modal
Rmodal.js
A simple 1.2 KB modal dialog with no dependencies
Stars: ✭ 613 (+3731.25%)
Mutual labels:  modal
React Responsive Modal
Simple responsive react modal
Stars: ✭ 429 (+2581.25%)
Mutual labels:  modal
React Native Raw Bottom Sheet
Add Your Own Component To Bottom Sheet Whatever You Want (Android and iOS)
Stars: ✭ 771 (+4718.75%)
Mutual labels:  modal
Ngx Gallery
Angular Gallery, Carousel and Lightbox
Stars: ✭ 417 (+2506.25%)
Mutual labels:  modal
Mathematics
数学知识点滴积累 矩阵 数值优化 神经网络反向传播 图优化 概率论 随机过程 卡尔曼滤波 粒子滤波 数学函数拟合
Stars: ✭ 417 (+2506.25%)
Mutual labels:  graph-theory
Flix
The Flix Programming Language
Stars: ✭ 719 (+4393.75%)
Mutual labels:  logic
Lightcase
The smart and flexible Lightbox Plugin.
Stars: ✭ 413 (+2481.25%)
Mutual labels:  modal
Meta
A Modern C++ Data Sciences Toolkit
Stars: ✭ 600 (+3650%)
Mutual labels:  graph-algorithms
React Native Actions Sheet
A Cross Platform(Android & iOS) ActionSheet with a flexible api, native performance and zero dependency code for react native. Create anything you want inside ActionSheet.
Stars: ✭ 412 (+2475%)
Mutual labels:  modal
Modal
A powerful and customizable modal implementation for Blazor applications.
Stars: ✭ 406 (+2437.5%)
Mutual labels:  modal
Css Components
☕️ A set of common UI Components using the power of CSS and without Javascript.
Stars: ✭ 592 (+3600%)
Mutual labels:  modal
Tidygraph
A tidy API for graph manipulation
Stars: ✭ 398 (+2387.5%)
Mutual labels:  graph-algorithms
Competitive coding
This repository contains some useful codes, techniques, algorithms and problem solutions helpful in Competitive Coding.
Stars: ✭ 393 (+2356.25%)
Mutual labels:  graph-algorithms
React Overlays
Utilities for creating robust overlay components
Stars: ✭ 809 (+4956.25%)
Mutual labels:  modal
React Modal
Accessible modal dialog component for React
Stars: ✭ 6,716 (+41875%)
Mutual labels:  modal
Neo4j Graph Algorithms
Efficient Graph Algorithms for Neo4j
Stars: ✭ 713 (+4356.25%)
Mutual labels:  graph-algorithms
Swiftgraph
A Graph Data Structure in Pure Swift
Stars: ✭ 588 (+3575%)
Mutual labels:  graph-algorithms
Quickgraph
Generic Graph Data Structures and Algorithms for .NET
Stars: ✭ 386 (+2312.5%)
Mutual labels:  graph-algorithms
Networkit
NetworKit is a growing open-source toolkit for large-scale network analysis.
Stars: ✭ 383 (+2293.75%)
Mutual labels:  graph-algorithms
Bootstrap Modal
Extends the default Bootstrap Modal class. Responsive, stackable, ajax and more.
Stars: ✭ 5,039 (+31393.75%)
Mutual labels:  modal
Expodal
The Most Explosive Modal on The Web.
Stars: ✭ 374 (+2237.5%)
Mutual labels:  modal
Popupdialog
A simple, customizable popup dialog for iOS written in Swift. Replaces UIAlertController alert style.
Stars: ✭ 3,709 (+23081.25%)
Mutual labels:  modal
Network Analysis Made Simple
An introduction to network analysis and applied graph theory using Python and NetworkX
Stars: ✭ 700 (+4275%)
Mutual labels:  graph-theory
Sweetalert
A beautiful replacement for JavaScript's "alert"
Stars: ✭ 21,871 (+136593.75%)
Mutual labels:  modal
Graph Adversarial Learning Literature
A curated list of adversarial attacks and defenses papers on graph-structured data.
Stars: ✭ 362 (+2162.5%)
Mutual labels:  graph-algorithms
Communities
Library of community detection algorithms and visualization tools
Stars: ✭ 348 (+2075%)
Mutual labels:  graph-algorithms
Awspx
A graph-based tool for visualizing effective access and resource relationships in AWS environments.
Stars: ✭ 546 (+3312.5%)
Mutual labels:  graph-theory
Awesome Prolog
Curated list of Prolog packages and resources
Stars: ✭ 342 (+2037.5%)
Mutual labels:  logic
Suitesparse
The official SuiteSparse library: a suite of sparse matrix algorithms authored or co-authored by Tim Davis, Texas A&M University
Stars: ✭ 344 (+2050%)
Mutual labels:  graph-algorithms
1-60 of 441 similar projects