heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
☆14Jul 20, 2025Updated 8 months ago
Alternatives and similar repositories for guided-tree-search
Users that are interested in guided-tree-search are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Dec 2, 2021Updated 4 years ago
- ☆18Oct 29, 2025Updated 5 months ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- 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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This repo contains the code needed to run the R package Autotuner. Autotuner is used to identify proper parameters during metabolomics da…☆16Jan 21, 2021Updated 5 years ago
- The implementation of the Elevate language☆31Mar 21, 2025Updated last year
- run and encode simple register machine programs☆15Aug 22, 2021Updated 4 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- A Notebook App on Ethereum Network☆11Feb 23, 2026Updated last month
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆19Aug 19, 2025Updated 7 months ago
- A script for building a full GCC + glibc toolchain from scratch (with Go support via gccgo) in multiple stages.☆21Sep 12, 2025Updated 6 months ago
- Dynamic SVG generation using Cassowary constraints☆41Apr 12, 2019Updated 6 years ago
- X86 disassembler benchmark☆10Jun 11, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- Date coordination for social events☆18Mar 2, 2025Updated last year
- maps are everything.☆10Jul 3, 2025Updated 8 months ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 9 months ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 3 months ago
- [DEPRECATED] You should use web3.py instead.☆10Nov 24, 2016Updated 9 years ago
- Procedural generation of music using wave function collapse and MIDI files☆28Mar 3, 2021Updated 5 years ago
- Small KVM-based hypervisor, boots Linux (WIP)☆13May 5, 2024Updated last year
- Primary implementation of the Venture probabilistic programming system☆28Nov 19, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆12Nov 21, 2018Updated 7 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 2 months ago
- Debugger in the Trepan family for x-python☆17Oct 14, 2025Updated 5 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 7 years ago
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 9 years ago
- An interpreter for the Assembly programming language.☆12Nov 9, 2020Updated 5 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- bil verification tool☆12Jun 30, 2022Updated 3 years ago
- Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)☆20Feb 21, 2022Updated 4 years ago
- Gas metering injector for eWASM in Golang.☆11Jul 29, 2019Updated 6 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- A demonstration of STM in Ruby using the Lee benchmark☆11Oct 30, 2020Updated 5 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- AutoPEFT: Automatic Configuration Search for Parameter-Efficient Fine-Tuning (Zhou et al.; TACL 2024)☆51Mar 17, 2024Updated 2 years ago