Alternatives and similar repositories for guided-tree-search

Users that are interested in guided-tree-search are comparing it to the libraries listed below

• john-tornblom / llvm-p86

  View on GitHub
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆20Sep 12, 2014Updated 11 years ago
• TikhonJelvis / imp

  View on GitHub
  Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
  ☆15Feb 9, 2016Updated 10 years ago
• piantado / enumerateCFG

  View on GitHub
  Code for enumeration from a CFG
  ☆20Sep 25, 2023Updated 2 years ago
• probcomp / Venturecxx

  View on GitHub
  Primary implementation of the Venture probabilistic programming system
  ☆28Nov 19, 2019Updated 6 years ago
• david-a-wheeler / mmverify.py

  View on GitHub
  Metamath verifier in Python
  ☆41Jun 7, 2025Updated 8 months ago
• lahovniktadej / gatree

  View on GitHub
  Evolutionary decision trees
  ☆11Jun 16, 2025Updated 8 months ago
• jespb / Python-M3GP

  View on GitHub
  An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…
  ☆11Dec 3, 2025Updated 2 months ago
• VeronicaAlvarez / online-probabilistic-load-forecasting

  View on GitHub
  ☆10Jul 29, 2022Updated 3 years ago
• senkuuuuu / Amadeus

  View on GitHub
  A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…
  ☆22Jul 28, 2025Updated 6 months ago
• kodomonocch1 / see_proto

  View on GitHub
  Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…
  ☆24Jan 22, 2026Updated 3 weeks ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• thatcherfreeman / zlog-curve

  View on GitHub
  Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.
  ☆10Nov 14, 2021Updated 4 years ago
• CornerCry1998 / PUBG_SDK

  View on GitHub
  ☆13Sep 9, 2021Updated 4 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• skoblov-lab / spliceai-reforged

  View on GitHub
  A GPU-friendly implementation of SpliceAI
  ☆11Dec 8, 2022Updated 3 years ago
• EverythingCG / HoudiniTools

  View on GitHub
  ☆10Sep 10, 2023Updated 2 years ago
• zobweyt / Discord.Net.Template

  View on GitHub
  A template for building scalable and ready for production Discord.NET apps within the .NET ecosystem (https://discord.com)
  ☆12Jun 10, 2024Updated last year
• SparkFund / sails-forth

  View on GitHub
  A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata
  ☆11Jan 14, 2020Updated 6 years ago
• ynput / ayon-kitsu

  View on GitHub
  Official AYON<->Kitsu intetgration (WIP)
  ☆12Jan 27, 2026Updated 2 weeks ago
• opencompl / lean-mlir-old

  View on GitHub
  embedding MLIR in LEAN
  ☆48Jun 17, 2024Updated last year
• dreamworksanimation / moonray_gui

  View on GitHub
  ☆12Feb 4, 2026Updated last week
• utah-scs / shredder

  View on GitHub
  Code for paper: Narrowing the Gap Between Serverless and its State with Storage Functions
  ☆12Jul 10, 2020Updated 5 years ago
• ohpauleez / sterling

  View on GitHub
  Explorations into specification-as-a-value
  ☆42Mar 15, 2013Updated 12 years ago
• cbaggers / shipshape

  View on GitHub
  A system to help ship lisp code with C dependencies
  ☆10Apr 29, 2018Updated 7 years ago
• ollef / rope-utf16-splay

  View on GitHub
  Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs
  ☆14Jan 14, 2022Updated 4 years ago
• ynput / ayon-resolve

  View on GitHub
  AYON Addon for Blackmagic DaVinci Resolve
  ☆13Feb 9, 2026Updated last week
• proost-assistant / ProostLean

  View on GitHub
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Mar 3, 2024Updated last year
• Marghrid / FOREST

  View on GitHub
  Regular expression for form validations synthesizer
  ☆15Apr 17, 2025Updated 9 months ago
• skyformat99 / High-performance-pub-sub

  View on GitHub
  Pub/sub prototype 50x faster than Redis
  ☆14Nov 25, 2016Updated 9 years ago
• lattejed / LJSelectionView

  View on GitHub
  An NSView subclass and controller that support the selection of subviews
  ☆29Jun 18, 2013Updated 12 years ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• suprematic / zipkin-clj

  View on GitHub
  Zipkin instrumentation library for Clojure
  ☆12May 9, 2020Updated 5 years ago
• satoruhiga / ofxMitsubaRenderer

  View on GitHub
  a external renderer addon for oF
  ☆23Nov 12, 2018Updated 7 years ago
• iluuu1994 / ITSearchField

  View on GitHub
  ITSearchField is a subclass of NSSearchField, which can collapse and expand if you click the search icon.
  ☆40Jan 16, 2013Updated 13 years ago
• void4 / rarvm

  View on GitHub
  Resource Aware, Recursive Virtual Machine
  ☆10Nov 4, 2022Updated 3 years ago
• smarr / CSOM

  View on GitHub
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆10Jul 16, 2021Updated 4 years ago
• cmuparlay / psac

  View on GitHub
  Parallel Self-Adjusting Computation
  ☆15Jul 5, 2021Updated 4 years ago
• thi-ng / structgen

  View on GitHub
  Clojure library for parsing and seamless working with native C structs/structured byte buffers
  ☆14May 26, 2015Updated 10 years ago
• exoscale / vinyl

  View on GitHub
  A Clojure facade for the FoundationDB record-layer
  ☆15Dec 10, 2025Updated 2 months ago