☆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
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 5 years ago
- ☆27Mar 26, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10May 5, 2023Updated 3 years ago
- Official Implementation of RRR Decoder☆14Mar 30, 2026Updated 5 months ago
- [SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline☆23Jun 16, 2023Updated 3 years ago
- Differentiable Euler Characteristic Transform☆17Jun 18, 2024Updated 2 years ago
- libgccjit AOT codegen for rustc☆13Feb 6, 2025Updated last year
- ☆12Sep 15, 2026Updated last week
- Pure lua implementation of utf8proc and a few more unicode utilities☆13Jun 11, 2015Updated 11 years ago
- The simplex method for solving linear programming problems implemented in Lua☆15Mar 3, 2013Updated 13 years ago
- Network aware load balancing for edge/cloud computing using deep reinforcement learning☆20Jun 17, 2021Updated 5 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.
- Code for "Know Thyself by Knowing Others: Learning Neuron Identity from Population Context" published at NeurIPS 2025☆20Feb 3, 2026Updated 7 months ago
- Resumable and copyable functions a.k.a. coroutines for Julia, with optional function-specific globals.☆22Updated this week
- Flexible C++ implementation of the RETE pattern matching algorithm, including a reasoner based on top of it.☆15Aug 13, 2021Updated 5 years 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
- ☆15Jan 15, 2021Updated 5 years ago
- Source codes and datasets for the paper "Incorporating Anticipation Embedding into Reinforcement Learning Framework for Multi-hop Knowled…☆12Aug 20, 2021Updated 5 years ago
- Bayesian learning and inference for state space models☆16Dec 23, 2021Updated 4 years ago
- UserSpice 4.4+ plugins☆16Sep 12, 2026Updated last week
- ☆22Sep 16, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Fitting low-rank RNNs to neural trajectories (LINT method).☆20Mar 19, 2025Updated last year
- Graph Feature Representation/Vector Based On The Family Of Graph Spectral Distances (NIPS 2017).☆24Mar 21, 2020Updated 6 years ago
- Conditional Linear Dynamical Systems☆17Oct 7, 2025Updated 11 months ago
- A visual demo of the color refinement algorithm☆20Apr 20, 2025Updated last year
- Toolset for modifying Julia AST and characteristic values☆16Mar 16, 2019Updated 7 years ago
- ☆19Jan 22, 2024Updated 2 years ago
- LDP for graph classification☆23Nov 14, 2019Updated 6 years ago
- Knowledge-guided multilayer network approach is executed in MetDNA2☆16Nov 5, 2022Updated 3 years ago
- PyTorch Extension Library of Optimized Unique Operation☆37Mar 1, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆17Oct 14, 2024Updated last year
- ☆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
- Pytorch implementation of Group Equivariant Capsule Networks☆29Jan 10, 2019Updated 7 years ago
- ☆32Sep 22, 2021Updated 5 years ago
- Simulate and visualize reaction-diffusion models and Turing patterns☆27Jul 21, 2023Updated 3 years ago