Alternatives and similar repositories for treewidth-prediction:

Users that are interested in treewidth-prediction are comparing it to the libraries listed below

• aigarashi / copl-tools
  tools for the book "Concepts of Programming Languages"
  ☆19Updated 3 years ago
• qnighy / logic-solver-rs
  ☆45Updated 2 years ago
• nushio3 / formura
  Describe stencil formurae without even translating them
  ☆58Updated 7 years ago
• knights-dev / knights
  Functional visual programming environment
  ☆64Updated last year
• onion-lang / onion
  Onion - statically typed object-oriented programming language
  ☆26Updated last week
• kearch / kearch
  Distributed search engine
  ☆55Updated 5 years ago
• coord-e / mlml
  self-hosted compiler for a subset of OCaml
  ☆50Updated 5 years ago
• hsk / docs
  any docs
  ☆17Updated 5 years ago
• apllodb / apllodb
  A RDBMS with Immutable Schema feature
  ☆33Updated 3 years ago
• gfngfn / cs-thesis
  A SATySFi class file for writing CS master theses at The University of Tokyo
  ☆29Updated 6 years ago
• hurutoriya / mlops-case-study
  MLOps Case Study
  ☆24Updated 4 years ago
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated last year
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆71Updated 5 years ago
• RKX1209 / c3
  The C3, SMT/SAT solver written in C.
  ☆34Updated 2 years ago
• YouyouCong / ppl-summer-school-2022
  ☆24Updated 2 years ago
• nomaddo / loop
  ☆15Updated 7 years ago
• unvalley / TabX
  🤍 : A simple (and tiny) tab management tool
  ☆17Updated last year
• maruyama097 / coq-tutorial
  coq-tutorial
  ☆16Updated 5 years ago
• nineties / category-seminar
  Materials for category theory seminar
  ☆28Updated last year
• unnohideyuki / bunny
  Haskell x Android
  ☆26Updated 2 years ago
• cotowali / litsu
  ☆45Updated 2 years ago
• optim-corp / masked-lm-wasm
  ☆25Updated 2 years ago
• bittn / bittn
  bittn compiler infrastructure
  ☆11Updated 4 years ago
• qnighy / omniswap
  a crate to swap values between possibly-overlapping references
  ☆23Updated 2 years ago
• haskell-jp / blog
  Official blog of Haskell-jp.
  ☆29Updated last year
• egison / typed-egison
  ☆17Updated 5 years ago
• Tatsuki-I / Vihs
  Vim like Text editor by Haskell.
  ☆14Updated 7 years ago
• gfngfn / the_satysfibook
  The manuscript for The SATySFi​book (1st edition for the Web)
  ☆36Updated 4 months ago
• kmizu / nuko
  日本語プログラミング言語「Nuko」
  ☆15Updated this week