alreich/abstract_algebra

Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, and Magmas. See the ReadTheDocs link.

Language: Jupyter Notebook - Size: 92.8 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 17 - Forks: 2

akheron/optics-ts

Type-safe, ergonomic, polymorphic optics for TypeScript

Language: TypeScript - Size: 2.2 MB - Last synced at: 1 day ago - Pushed at: 15 days ago - Stars: 852 - Forks: 13

abetten/orbiter

Classification of combinatorial objects

Language: C++ - Size: 1.58 GB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 16 - Forks: 7

krukah/robopoker

Play, learn, solve, and analyze No-Limit Texas Hold Em. Implementation follows from Monte Carlo counter-factual regret minimization over with hierarchical K-means imperfect recall abstractions.

Language: Rust - Size: 2.42 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 113 - Forks: 19

bert2/Nullable.Extensions

A set of C# extension methods to help working with nullable types by implementing the Maybe monad on top of `T?`.

Language: C# - Size: 87.9 KB - Last synced at: 1 day ago - Pushed at: about 2 years ago - Stars: 17 - Forks: 2

calmm-js/partial.lenses

Partial lenses is a comprehensive, high-performance optics library for JavaScript

Language: JavaScript - Size: 6.73 MB - Last synced at: 5 minutes ago - Pushed at: over 3 years ago - Stars: 921 - Forks: 36

evoluteur/isomorphic-table-cards

Table and Cards views with animated transitions on sorting, switching view, and browser resizing (no dependencies, just vanilla Javascript, CSS, and HTML).

Language: JavaScript - Size: 181 KB - Last synced at: about 1 month ago - Pushed at: 4 months ago - Stars: 32 - Forks: 1

wasabi315/type-search-zoo

A collection of type-based library search algorithms

Language: Haskell - Size: 113 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 9 - Forks: 0

R-js/mangos

🥭's is monorepo collecting data wrangling and data validation utilities

Language: JavaScript - Size: 424 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

morphismtech/free-categories

free categories

Language: Haskell - Size: 74.2 KB - Last synced at: about 19 hours ago - Pushed at: about 20 hours ago - Stars: 10 - Forks: 2

InnoFang/subgraph-isomorphism

❄Implement the common subgraph isomorphism algorithms (i.e. Ullmann, VF2) based on MapReduce on Hadoop

Language: Java - Size: 19.6 MB - Last synced at: 16 days ago - Pushed at: almost 3 years ago - Stars: 19 - Forks: 0

ThiagoFBastos/isotree

algoritmo para encontrar árvores não rotuladas

Language: C++ - Size: 84 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

nikita-volkov/isomorphism-class

Isomorphism typeclass solving the conversion problem

Language: Haskell - Size: 167 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 4 - Forks: 1

rubensworks/rdf-isomorphic.js

Determines if two RDF graphs are isomorphic

Language: TypeScript - Size: 468 KB - Last synced at: 4 days ago - Pushed at: 3 months ago - Stars: 8 - Forks: 2

k-forghani/graph-degseq

Constructing all non-isomorphic graphs from a particular degree sequence

Language: Jupyter Notebook - Size: 3.97 MB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

peal/vole

A GAP package for backtrack search in permutation groups with graphs

Language: Rust - Size: 982 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 8 - Forks: 2

Ridermansb/isomorphic-library

Isomorphic library sample with WebPack

Language: JavaScript - Size: 113 KB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 1

Klus3kk/Graph-Isomorphism-ACO

Solving the Graph Isomorphism problem using Ant Colony Optimization.

Language: Python - Size: 746 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0

jcfgonc/pattern-miner

algorithm which finds recurring patterns in semantic graphs to be used as semantic frames

Language: Java - Size: 26.4 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

dfilatov/vidom

Library to build UI based on virtual DOM

Language: JavaScript - Size: 3.04 MB - Last synced at: 10 days ago - Pushed at: about 3 years ago - Stars: 414 - Forks: 16

a13xe/IsoGraphChecker

Verifying if two graphs in JSON format are isomorphic

Language: Python - Size: 1.97 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

aleksitk/TopologicalDataAnalysis

here is my practices on TDA using python.

Size: 0 Bytes - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

selcukguvel/visual-graph-isomorphism

Display graph isomorphism visually

Language: JavaScript - Size: 79.1 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 3 - Forks: 2

martinakaduc/DualMessagePassing Fork of HKUST-KnowComp/DualMessagePassing

Source Code for AAAI 2022 paper "Graph Convolutional Networks with Dual Message Passing for Subgraph Isomorphism Counting and Matching"

Language: Python - Size: 393 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

martinakaduc/NeurSC

Unofficial Implementation of paper "Neural Subgraph Counting with Wasserstein Estimator"

Language: Python - Size: 13.7 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

TOTBWF/iso 📦

A reversible language

Language: Haskell - Size: 43 KB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 23 - Forks: 0

spirali/haydi

Python framework for generating discrete structures

Language: Python - Size: 651 KB - Last synced at: 9 days ago - Pushed at: over 7 years ago - Stars: 7 - Forks: 4

sraaphorst/nibac

C++ Nonisomorphic Branch-and-Cut

Language: C++ - Size: 3.03 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

TinacciL/Connectivity_chemical_graph

Python script that permits to encode molecules as molecular graph and compare easily the connectivity of two molecules

Language: Python - Size: 39.1 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0

orlandomotapires/graph_isomorphism_verifier

This repository explores the fascinating world of graph theory through the lens of the Graph Isomorphism problem. Graphs are fundamental data structures with a wide range of applications, and understanding their isomorphism properties is crucial in various domains.

Language: C - Size: 69.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

syallop/Reversible

Pair reversible partial functions for use with reversible Programs

Language: Haskell - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

defeo/ffisom

A research project on isomorphisms of finite fields

Language: Jupyter Notebook - Size: 36.1 MB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 16 - Forks: 5

LakshmiPadmanabhan/networkx

Basic networkx program to build 2 graphs ,check whether they are isomorphic, eulerian and write edge information to two files

Language: Python - Size: 44.9 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

eliazonta/subisomorphism-CUDA

A parallel algorithm for subgraph isomorphism problem

Language: C - Size: 115 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

tknkla/rj

Relative (Algorithms and Related Utilities for) Java

Language: Java - Size: 95.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

sarrufat/isolemadin

Language: Scala - Size: 807 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

sarrufat/isolemabackend

ISOLEMA Backend system

Size: 124 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0

Godzilla-FE/godzilla

react ssr

Language: JavaScript - Size: 134 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

NikhilGupta1997/Data-Mining-Algorithms

A generic library created to perform unsupervised clustering and frequent subgraph mining

Language: C++ - Size: 4.69 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 0

CSpaccasassi/genCRN

genCRN: Fast enumeration of non-isomorphic chemical reaction networks

Language: C - Size: 63.2 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 1

TarekMebrouk/molecular_isomorphism

Retrieve the molecules from the ChEBI site, and parse them and extract the information important for the execution of the Nauty mckay algorithm.

Language: Python - Size: 103 KB - Last synced at: 5 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

icimidemirag/isomorphic

BM218 algoritmalar ödevi içindir. İki grafın izomorfik olup olmadığını hesaplar.

Language: Python - Size: 0 Bytes - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

angadsingh/airflow-ditto

An airflow DAG transformation framework

Language: Python - Size: 6.51 MB - Last synced at: 24 days ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 1

bwestergard/isomorphism

Find subgraph isomorphisms with Ullman's 1976 algorithm.

Language: JavaScript - Size: 38.1 KB - Last synced at: 1 day ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 1

rohansikder/GraphThoery-Isomorphism

Jupyter Notebook that explores the concept of graph isomorphism.

Language: Jupyter Notebook - Size: 1.16 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

pkumod/GSI

GPU-friendly Subgraph Isomorphism, published in ICDE 2020

Language: Cuda - Size: 46.9 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 18 - Forks: 9

this-is-shreya/networkx-graph-theory

Implementing graph theory concepts using networkx library

Language: Python - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

ttahb/graphtheory

An implementation of well-known Graph theory algorithms and their applications in Java programming language.

Language: Java - Size: 64.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

UrosNikolic95/Graph-isomorphism

Language: C# - Size: 478 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

s1ck/assert-graph-iso

Checks if two property graphs are isomorphic.

Language: Rust - Size: 12.7 KB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

J-Kiruthika/Nanotopology

This project checks the similarity of two graphs using nano sets.

Language: Python - Size: 5.86 KB - Last synced at: 18 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

nick121212/modelproxy

轻量级的接口配置方法

Language: TypeScript - Size: 2.73 MB - Last synced at: 3 days ago - Pushed at: almost 5 years ago - Stars: 9 - Forks: 1

hugosousa111/isomorfismo-grafos

Verificação de Isomorfismo em Grafos

Language: C - Size: 235 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

theplatypus/pybliss-dockerfile

A docker image to run PyBliss algorithm

Language: Python - Size: 560 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

icai/stackgist

egg + next.js + sequelize(mysql)+ wordpress(ddl) + ant-design pro

Language: JavaScript - Size: 1.57 MB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

evgenymarkov/pygraph

The library for working with graphs

Language: Python - Size: 33.2 KB - Last synced at: 2 days ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

petitspois/react-isomorphism-mobx

isomorphism for react and mobx

Language: JavaScript - Size: 232 KB - Last synced at: about 6 hours ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

Nelayah/blog

Blog

Language: JavaScript - Size: 1.25 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 1