GitHub topics: isomorphisms
polytypic/loko-ml
Lower-Kinded Optics for OCaml
Language: OCaml - Size: 725 KB - Last synced at: 25 days ago - Pushed at: about 1 month ago - Stars: 23 - Forks: 0
veewee/reflecta
🪞 Reflecta 🪞 - Unleash the Power of Optics in your code!
Language: PHP - Size: 313 KB - Last synced at: 10 days ago - Pushed at: 3 months ago - Stars: 12 - Forks: 1
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
polytypic/NetOptics
Optics for the impoverished
Language: F# - Size: 126 KB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 5 - Forks: 0
Starlien95/Count-GNN
Learning to Count Isomorphisms with Graph Neural Networks
Language: Python - Size: 45.7 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 5 - Forks: 0
AhmedAbdelaal2001/Ring-Isomorphisms-and-The-FFT
An implementation of the Radix-2 Decimation-In-Time (DIT) form of the Cooley-Tukey FFT algorithm, as well as its inverse. The algorithm is used to multiply 2 polynomials and compute the convolution of 2 vectors in O(nlogn) time.
Language: C++ - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
polytypic/sml-optics
Proof of concept optics library for Standard ML
Language: Standard ML - Size: 1.95 KB - Last synced at: 2 months ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1