heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
☆14Jul 20, 2025Updated 7 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
Sorting:
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 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
- Primary implementation of the Venture probabilistic programming system☆28Nov 19, 2019Updated 6 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 9 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- 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 7 months ago
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists*/pos* queries. (Demo + wheels; core i…☆24Feb 21, 2026Updated 2 weeks ago
- A template for building scalable and ready for production Discord.NET apps within the .NET ecosystem (https://discord.com)☆12Jun 10, 2024Updated last year
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- 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
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- maps are everything.☆10Jul 3, 2025Updated 8 months ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- ☆10Sep 10, 2023Updated 2 years ago
- Official AYON<->Kitsu intetgration (WIP)☆12Updated this week
- ☆13Sep 9, 2021Updated 4 years ago
- embedding MLIR in LEAN☆48Jun 17, 2024Updated last year
- JavaFX micro-framework that follows MVVM Pattern with Google Guice dependency Injection☆11Jan 11, 2022Updated 4 years ago
- AYON Addon for Blackmagic DaVinci Resolve☆13Feb 9, 2026Updated 3 weeks ago
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Oct 13, 2021Updated 4 years ago
- [DEPRECATED] You should use web3.py instead.☆10Nov 24, 2016Updated 9 years ago
- OpenVDB Support for Mitsuba☆11May 26, 2014Updated 11 years ago
- A Clojure facade for the FoundationDB record-layer☆15Dec 10, 2025Updated 2 months ago
- A file storage system for SQL databases inspired by GridFS☆16Aug 30, 2022Updated 3 years ago
- Interval Treeset based on finger trees☆11Oct 28, 2020Updated 5 years ago
- ☆10Jun 2, 2017Updated 8 years ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆12Apr 22, 2015Updated 10 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- AI generated slop to convert html to hiccup☆11Mar 11, 2025Updated 11 months ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- a external renderer addon for oF☆23Nov 12, 2018Updated 7 years ago
- ITSearchField is a subclass of NSSearchField, which can collapse and expand if you click the search icon.☆40Jan 16, 2013Updated 13 years ago
- Objective-C wrapper for the SearchKit API / Mac OS☆27Dec 6, 2011Updated 14 years ago
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated 11 months ago
- Zipkin instrumentation library for Clojure☆12May 9, 2020Updated 5 years ago