Prediction of Treewidth using Graph Neural Network, developed as part of PFN summer internship 2019.
☆11Oct 10, 2019Updated 7 years ago
Alternatives and similar repositories for treewidth-prediction
Users that are interested in treewidth-prediction are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MoCHi: Model Checker for Higher-Order Programs☆43Apr 19, 2025Updated last year
- Source Codes for "Learning Algorithm with C++" Lecture.☆11Feb 19, 2026Updated 8 months ago
- Snapshot of code used for the ISMM 2012 paper "GPUs as an Opportunity for Offloading Garbage Collection"☆10Nov 9, 2012Updated 13 years ago
- A Git mirror of janestreet's ocaml-core☆14Jun 8, 2012Updated 14 years ago
- Haskell library for non-deterministic pattern matching☆19Dec 21, 2025Updated 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Jul 8, 2018Updated 8 years ago
- Verifying Integer Programming Results☆10Jan 7, 2025Updated last year
- Haskell binding for Menoh DNN inference library☆13Nov 30, 2018Updated 7 years ago
- MiniSat 2.0 for Empscripten☆10Aug 19, 2014Updated 12 years ago
- a Coq toolkit for graph theory☆14Oct 18, 2020Updated 6 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆12Dec 29, 2015Updated 10 years ago
- 計算数学I実習資料集☆16Jun 8, 2021Updated 5 years ago
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 2 months ago
- PostgreSQL extension which visualizes a plan tree using Graphviz☆13Aug 11, 2020Updated 6 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.
- NN Optimization IR☆10Oct 13, 2026Updated 2 weeks ago
- ☆11Feb 20, 2020Updated 6 years ago
- Wraps a simple web API around a Wemo Switch☆13Sep 25, 2013Updated 13 years ago
- pure Haskell implementation of reduced ordered binary decision diagrams☆11Mar 15, 2024Updated 2 years ago
- In-memory wander join implementation☆11May 25, 2017Updated 9 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- Learning to sort numbers using a LSTM with a modified attention mechanism (Pointer Networks by Vinyals et al.).☆13Jun 21, 2018Updated 8 years ago
- Demo notebook of Ibis for "Spark + Python + Dita science Festival"☆12Jul 28, 2016Updated 10 years ago
- Google STEP Internship dev course - TSP Challenges☆11Jul 7, 2017Updated 9 years ago
- 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.
- go-active-learning is a command line annotation tool for binary classification problem written in Go.☆15Apr 3, 2021Updated 5 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog☆15Dec 3, 2016Updated 9 years ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆18Apr 3, 2024Updated 2 years ago
- YCSB-like benchmark for pgbench☆16Dec 18, 2017Updated 8 years ago
- Differentiable MPC in Chainer, developed as part of PFN summer internship 2019.☆16Aug 23, 2022Updated 4 years ago
- Certified Programming with Dependent Types (Japanese Translation)☆15Jan 14, 2021Updated 5 years ago
- ☆19Jan 29, 2019Updated 7 years ago
- Library for invertible parsing and printing☆34Aug 25, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Golang binding for Menoh DNN inference library☆15Nov 1, 2018Updated 7 years ago
- Human Resource Machine level data☆15Oct 21, 2023Updated 3 years ago
- LogLog and HyperLogLog algorithms implementations☆23Oct 12, 2012Updated 14 years ago
- Rust binding for Menoh☆14Jan 29, 2019Updated 7 years ago
- ☆20Feb 22, 2017Updated 9 years ago
- Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)☆16Jul 15, 2023Updated 3 years ago
- http://a-terada.github.com/lamp/☆14Jul 14, 2023Updated 3 years ago