heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
☆14Jul 20, 2025Updated 11 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
- ☆19May 7, 2026Updated 2 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
- 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.
- 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☆16Aug 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 4 months ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆18Jun 7, 2026Updated last month
- A script for building a full GCC + glibc toolchain from scratch (with Go support via gccgo) in multiple stages.☆22Sep 12, 2025Updated 9 months ago
- Dynamic SVG generation using Cassowary constraints☆41Apr 12, 2019Updated 7 years ago
- X86 disassembler benchmark☆10Jun 11, 2021Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Jun 6, 2026Updated last month
- Date coordination for social events☆18Mar 2, 2025Updated last year
- maps are everything.☆10Jul 3, 2025Updated last year
- Metamath verifier in Python☆41Jun 7, 2025Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Jun 29, 2026Updated last week
- [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
- Primary implementation of the Venture probabilistic programming system☆28Nov 19, 2019Updated 6 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆12Nov 21, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 5 months ago
- Debugger in the Trepan family for x-python☆18Apr 23, 2026Updated 2 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- Small KVM-based hypervisor, boots Linux (WIP)☆13May 5, 2024Updated 2 years ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 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
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 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
- AutoPEFT: Automatic Configuration Search for Parameter-Efficient Fine-Tuning (Zhou et al.; TACL 2024)☆51Mar 17, 2024Updated 2 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 4 years ago