☆10May 25, 2017Updated 8 years ago
Alternatives and similar repositories for p17
Users that are interested in p17 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22May 25, 2017Updated 8 years ago
- List of Treewidth solvers, instances, and tools☆37Sep 21, 2022Updated 3 years ago
- Submission to PACE 17☆23Jan 9, 2025Updated last year
- A Modular Library for Computing Tree Decompositions☆17Sep 26, 2024Updated last year
- A Rust library and CLI for computing optimal and heuristic tree decompositions☆13Feb 19, 2025Updated last year
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆63Jul 21, 2023Updated 2 years ago
- A skeleton CMake C++ library project with Google Test support☆10Jan 30, 2018Updated 8 years ago
- Network architecture for "Volumetric ConvNets with Mixed Residual Connections for Automated Prostate Segmentation from 3D MR Images"☆10Feb 28, 2017Updated 9 years ago
- Grain of Salt equation generator☆16May 6, 2022Updated 3 years ago
- ☆12Sep 29, 2021Updated 4 years ago
- dataset info for the neurofinder challenge☆12Aug 3, 2016Updated 9 years ago
- Parses a given English date string, absolute or relative, to a Date object.☆18Jan 25, 2023Updated 3 years ago
- ☆14Feb 15, 2022Updated 4 years ago
- HNCcorr algorithm for neuron identification in calcium imaging datasets.☆11Feb 11, 2023Updated 3 years ago
- Comparison benchmarks between public force fields and Open Force Field Initiative force fields☆10Nov 2, 2022Updated 3 years ago
- MQTT Air quality (PM10, PM2.5) monitoring station☆11Nov 17, 2020Updated 5 years ago
- Service registry for Node.js on top of etcd☆35Mar 10, 2015Updated 11 years ago
- A Github Action for uploading files to the WebDAV server☆17Apr 26, 2023Updated 2 years ago
- download and prepare a pdb file for docking wth Vina-flavoured algorithms☆13Oct 11, 2021Updated 4 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 9 years ago
- [NeurIPS 2023] Implementation of "Improving Self-supervised Molecular Representation Learning using Persistent Homology"☆15Nov 16, 2023Updated 2 years ago
- control JJRC H47 ELFIE+ drone and receive a colored image from it's camera☆11Aug 17, 2022Updated 3 years ago
- Julia中文社区报告:罗秀哲的开源工具箱☆12Dec 6, 2022Updated 3 years ago
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10May 25, 2023Updated 2 years ago
- A collection of LaTeX packages by Peter Wilson☆39Mar 15, 2025Updated last year
- Sorted A-Prolog with Consistency Restoring rules.☆18Mar 2, 2022Updated 4 years ago
- Create and revise bibtex entries from DBLP☆26Mar 3, 2026Updated 2 weeks ago
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Jun 10, 2021Updated 4 years ago
- d4 Model Counter☆19May 17, 2023Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Goofy physics notation☆11Apr 7, 2020Updated 5 years ago
- Simulated Full Amplitude Quantum Register (moved to Yao.jl/lib)☆12Dec 7, 2021Updated 4 years ago
- Batched routines (BLAS, LAPACK, etc.) for multi-dimensional arrays☆12Apr 10, 2022Updated 3 years ago
- Implementation of Autoslim using Tensorflow2☆11Jun 5, 2020Updated 5 years ago
- Provides Gif support in Julia using LibGif☆12Aug 3, 2025Updated 7 months ago
- Scalable Tool for Gene Network Reverse Engineering☆25Nov 6, 2025Updated 4 months ago
- GPL Number Field Sieve implementation☆36Apr 24, 2011Updated 14 years ago
- Interview Coding Cheat Sheet☆13Jul 4, 2023Updated 2 years ago
- Deploy Chrome extensions to the Chrome Web Store.☆25Nov 2, 2019Updated 6 years ago