☆23Dec 7, 2023Updated 2 years ago
Alternatives and similar repositories for ANYCSP
Users that are interested in ANYCSP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Mar 24, 2023Updated 3 years ago
- Explore importing the Semantic Scholar Academic Graph Corpus into a PostgreSQL database☆14Aug 30, 2024Updated 2 years ago
- ☆14Dec 31, 2024Updated last year
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 years ago
- ☆27Mar 26, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A small project that uses Discrete Denoising Diffusion Probabilistic Models (D3PMs), a generative model for discrete data that builds upo…☆18Aug 10, 2024Updated 2 years ago
- Differentiable Euler Characteristic Transform☆17Jun 18, 2024Updated 2 years ago
- Hypergraph convolution and attention networks research☆15Jul 31, 2024Updated 2 years ago
- [Paper][AAAI2023] Entity-Agnostic Representation Learning for Parameter-Efficient Knowledge Graph Embedding☆13Mar 3, 2023Updated 3 years ago
- libgccjit AOT codegen for rustc☆13Feb 6, 2025Updated last year
- ☆12Sep 15, 2026Updated 3 weeks ago
- Influence-Based Mini-Batching (IBMB), as proposed in "Influence-Based Mini-Batching for Graph Neural Networks" (LoG 2022)☆19Dec 21, 2022Updated 3 years ago
- The simplex method for solving linear programming problems implemented in Lua☆15Mar 3, 2013Updated 13 years ago
- Resumable and copyable functions a.k.a. coroutines for Julia, with optional function-specific globals.☆22Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Flexible C++ implementation of the RETE pattern matching algorithm, including a reasoner based on top of it.☆16Aug 13, 2021Updated 5 years ago
- SCOTT: Synthesizing Curvature Operations and Topological Tools☆18Oct 22, 2025Updated 11 months ago
- Repo for paper: Exploring the Power of Graph Neural Networks in Solving Linear Optimization Problems, accepted at AISTATS 2024☆19Oct 17, 2023Updated 2 years ago
- Detection of the structural, evolutionary and functional relationship between different proteins and protein families requires comparativ…☆15Sep 22, 2023Updated 3 years ago
- MorphVAE: Generating Neural Morphologies from 3D-Walks☆16Sep 4, 2022Updated 4 years ago
- UserSpice 4.4+ plugins☆16Sep 12, 2026Updated last month
- Fitting low-rank RNNs to neural trajectories (LINT method).☆20Mar 19, 2025Updated last year
- Code for "Weisfeiler and Leman go sparse: Towards higher-order graph embeddings"☆21Jan 27, 2022Updated 4 years ago
- Toolset for modifying Julia AST and characteristic values☆17Oct 5, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LDP for graph classification☆23Nov 14, 2019Updated 6 years ago
- ☆21Oct 22, 2024Updated last year
- Knowledge-guided multilayer network approach is executed in MetDNA2☆16Nov 5, 2022Updated 3 years ago
- Code of GraphAdapter☆18Mar 21, 2024Updated 2 years ago
- FINDR: Flow-field Inference from Neural Data using deep Recurrent networks☆24Jul 9, 2026Updated 3 months ago
- ☆17Oct 14, 2024Updated 2 years ago
- ☆21Mar 3, 2022Updated 4 years ago
- An egglog-compatible but faster ahead-of-time compiling e-graph engine.☆24Jul 26, 2025Updated last year
- A simple compiler for My Pascal, with LLVM as its backend.☆15May 19, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆32Sep 22, 2021Updated 5 years ago
- The Lesma Programming Language☆20Apr 22, 2026Updated 5 months ago
- G2SAT: Learning to Generate SAT Formulas☆50Jun 25, 2020Updated 6 years ago
- [WWW'21] Multiplex Bipartite Network Embedding using Dual Hypergraph Convolutional Networks☆46Oct 11, 2021Updated 5 years ago
- Hierarchical Graph Net☆36Jul 19, 2021Updated 5 years ago
- pyControl GUI and framework code☆30Apr 17, 2026Updated 5 months ago
- Towards large neural data models.☆36Jul 2, 2025Updated last year