A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
☆42Sep 29, 2019Updated 6 years ago
Alternatives and similar repositories for Timetabler
Users that are interested in Timetabler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jan 15, 2019Updated 7 years ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆22Oct 5, 2022Updated 3 years ago
- My old Vue SPA portfolio, my previous small personal slice of the Internet☆12Jun 1, 2022Updated 4 years ago
- 1ος Πανελλήνιος Μαθητικός Διαγωνισμός Κυβερνοασφάλειας (2023)☆13May 4, 2023Updated 3 years ago
- Friends of in-toto! A place to record integrations and adoptions of the in-toto specification.☆21Jul 16, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Frontend for the authentication service in Omniport☆11Jun 6, 2026Updated last month
- ☆13Jun 15, 2021Updated 5 years ago
- This is the template for Omniport frontend apps☆10Feb 5, 2019Updated 7 years ago
- Fork of Barnes-Hut t-SNE with improved performance and OpenMP parallelization☆17Mar 7, 2017Updated 9 years ago
- Backend for the helpcentre service in Omniport☆10Aug 14, 2024Updated last year
- Frontend for the terms of use service in Omniport☆10Jan 15, 2019Updated 7 years ago
- Fixing static analysis violations in Java source code using Datalog☆17Sep 20, 2022Updated 3 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- Maracas is a source code and bytecode analysis framework—written in Java with the help of Spoon—which analyzes how Java libraries evolve…☆18Feb 15, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18Updated this week
- Jupyter server proxy for OpenRefine☆10Oct 18, 2024Updated last year
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Mar 27, 2026Updated 3 months ago
- SDL (Simple Declarative Language) for java☆13Feb 1, 2026Updated 5 months ago
- Simple Declarative Language (SDL) for Dart☆10Dec 19, 2019Updated 6 years ago
- A specification for a jsonld nodejs stream☆15Oct 13, 2018Updated 7 years ago
- Linked SDMX☆17Oct 26, 2014Updated 11 years ago
- An offline TTS engine for AkulAI and more.☆13Aug 21, 2024Updated last year
- A plugin to allow users to interact with Accord Project templates directly in MS Word.☆21Mar 10, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Frontend for the developer service in Omniport☆12Jan 14, 2022Updated 4 years ago
- Backend for the links service in Omniport☆13Feb 9, 2020Updated 6 years ago
- Rust implementation of Cucumber Expressions.☆13Jun 19, 2026Updated last month
- A rust interface to http://openml.org/☆12Jul 13, 2019Updated 7 years ago
- Wikimedia Commons map georectifier and warper. See wikimaps_new branch.☆11Jul 4, 2022Updated 4 years ago
- Dataset for the ACL 2015 paper : Learning to Explain Entity Relationships in Knowledge Graphs☆11Oct 22, 2015Updated 10 years ago
- ☆11Oct 31, 2019Updated 6 years ago
- Frontend for the groups service in Omniport☆14Jun 6, 2026Updated last month
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- AI Agents on 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.
- Code for implementing the quantum log-likelihood using PennyLane and TensorFlow.☆11Dec 10, 2019Updated 6 years ago
- Build android WebView app with Golang☆10Oct 4, 2023Updated 2 years ago
- RDFpro☆13Feb 4, 2022Updated 4 years ago
- Zero-shot entity linking with less data☆15Aug 1, 2022Updated 3 years ago
- ☆12Sep 8, 2022Updated 3 years ago
- Simple plotting for Python. Python wrapper for D3xter - render charts in the browser with simple Python syntax.☆30May 19, 2018Updated 8 years ago
- Quantum Simulator in Scala☆11Feb 28, 2025Updated last year