Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
☆16Aug 22, 2019Updated 7 years ago
Alternatives and similar repositories for FQL
Users that are interested in FQL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Coq Implementation of Algebraic Property Graphs☆11Oct 13, 2021Updated 5 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Building dynamical systems compositionally☆82Apr 24, 2026Updated 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Categorical Query Language IDE☆365Updated this week
- Theories of social science expressed in Catlab.jl formalisms☆16Mar 21, 2021Updated 5 years ago
- CQL: Categorical Query Language implementation in Haskell☆188Apr 14, 2023Updated 3 years ago
- SciToS - the Scientific Tool Set☆12Jun 13, 2023Updated 3 years ago
- gHyPart: GPU-friendly End-to-End Hypergraph Partitioner☆12Feb 6, 2025Updated last year
- convert VMWare and VirtualBox VM files to QEMU-KVM VM disk files☆11Jul 27, 2020Updated 6 years ago
- Bayesian inference on wiring diagrams.☆18Sep 28, 2023Updated 3 years ago
- ☆11Jul 7, 2020Updated 6 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A music composer and player with MATLAB☆11Mar 14, 2020Updated 6 years ago
- phlower is a deep learning framework based on PyTorch especially for physical phenomenon such as fluid dynamics.☆16Updated this week
- Public SPARQL Endpoint Service Monitoring☆11Jan 7, 2025Updated last year
- Operad Programming Language in Haskell, by David Darais☆33Apr 1, 2014Updated 12 years ago
- The Python toolkit for computing with string diagrams.☆441Oct 22, 2026Updated last week
- Create a Google Sheet from a CSV file preventing auto-formatting of date and number fields☆10Jun 27, 2017Updated 9 years ago
- 🖼🎨 Color recommendation, color pallets, Modern Gradients, FlatUI colors and Monochromatic Palettes☆12Nov 4, 2023Updated 2 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆43Jun 13, 2026Updated 4 months ago
- A library for AutoHotkey to make it easy to send (optionally repeating) sequences of characters☆11Aug 12, 2020Updated 6 years ago
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21May 4, 2015Updated 11 years ago
- Python package for the numerical renormalization group (RG) evolution in the Standard Model Effective Field Theory (SMEFT)☆11Apr 12, 2018Updated 8 years ago
- Arduino Synthesizer Sampler☆18Mar 21, 2026Updated 7 months ago
- Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the mult…☆27Oct 11, 2026Updated 2 weeks ago
- Graph programming language☆204Updated this week
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆17Jul 22, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Generates a VoID description of all datasets in the lodcloud group on the Data Hub☆12Mar 6, 2013Updated 13 years ago
- ☆24Aug 20, 2026Updated 2 months ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆48Oct 20, 2026Updated last week
- ☆28May 19, 2022Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 4 years ago
- QNAP arm-x19/-x12/-x10 Plex package build☆13Dec 19, 2013Updated 12 years ago