A Modular Library for Computing Tree Decompositions
☆17Sep 26, 2024Updated last year
Alternatives and similar repositories for Jdrasil
Users that are interested in Jdrasil are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆63Jul 21, 2023Updated 2 years ago
- My collection of Python tools!☆11Jan 27, 2026Updated last month
- The anytime MaxSAT solver Loandra☆20Jun 5, 2025Updated 9 months ago
- Service registry for Node.js on top of etcd☆35Mar 10, 2015Updated 11 years ago
- Traditional data-structure designs, whether lock-based or lock-free, provide parallelism via fine grained synchronization among threads. …☆31Sep 24, 2010Updated 15 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.
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- List of Treewidth solvers, instances, and tools☆37Sep 21, 2022Updated 3 years ago
- implementation of OEIS sequences☆11Nov 30, 2016Updated 9 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- A Java Library for Statistics, Data Analysis and Visualization.☆12Apr 1, 2023Updated 2 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Nov 19, 2023Updated 2 years ago
- Open Java implementation of Cuckoo Filters, Apache License v2☆12Oct 30, 2014Updated 11 years ago
- Track app memory usage.☆11Jan 13, 2015Updated 11 years ago
- Parquet IO for Tablesaw☆12Mar 2, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A collection of plugins for bone image analysis in ImageJ☆26Mar 22, 2023Updated 3 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆12Oct 24, 2016Updated 9 years ago
- Hierarchical, concurrent MapReduce framework☆10Oct 26, 2016Updated 9 years ago
- Java implementation of the reform dynamic drawing application inspired by Bret Victor's talk "Drawing Dynamic Visualizations"☆19Jun 24, 2016Updated 9 years ago
- ☆28Dec 10, 2013Updated 12 years ago
- A simple C Thread pool implementation☆13Apr 10, 2020Updated 5 years ago
- Practical utilities for spark applications☆11Feb 26, 2026Updated last month
- Automatically compile and link C programs☆16Jul 24, 2010Updated 15 years ago
- Implementation of a DAWG small and fast enough to work in Android apps☆10Feb 26, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Latest version of GoFFish Distributed Graph Processing Platforms☆12Apr 30, 2018Updated 7 years ago
- This is a Inertia.js server-side adapter based on inertia-laravel, but for Fiber Framework.☆10Mar 10, 2025Updated last year
- Spell checker using Brill and Moore's noisy channel error model☆12Jan 9, 2019Updated 7 years ago
- Port of Android Notepad tutorial to Mirah☆14Nov 27, 2025Updated 3 months ago
- ☆10May 27, 2016Updated 9 years ago
- Our solution for the 2020 hashcode qualification round problem with libraries and books☆11Feb 25, 2020Updated 6 years ago
- Software to remove unwanted objects from an Image☆14Apr 4, 2012Updated 13 years ago
- eigenfaces experiment using PCA☆12Dec 11, 2013Updated 12 years ago
- Javascript 3D Engine from the scratch - Canvas - no WebGL☆13May 4, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Apache Flink自述理解与代码☆13Mar 9, 2019Updated 7 years ago
- An algorithm for solving 2x2 Rubik's cubes.☆12May 9, 2015Updated 10 years ago
- A compact hash algorithm for CPUs and GPUs using OpenCL☆15Sep 26, 2020Updated 5 years ago
- Code from the book "How to create pragmatic, lightweight languages"☆17Nov 9, 2017Updated 8 years ago
- 《Java 7 Concurrency Cookbook》译文☆20Aug 13, 2013Updated 12 years ago
- minecraft beta proxy · no longer maintained☆27Apr 6, 2011Updated 14 years ago
- DEPRECATED: Starting with Android P the WiFi RTT is part of the public API! This Android library works as proxy to the hidden android.net…☆10Mar 8, 2018Updated 8 years ago