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
- ☆20Oct 1, 2018Updated 7 years ago
- Ion, JSON, YAML, CSV, CBOR and Msgpack serialization framework☆19Nov 6, 2025Updated 5 months ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 6 months ago
- Proc-macros for generating icons from the Iconify API☆13Oct 17, 2024Updated last year
- 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.
- Simple blog theme powered by Zola, made with anxiety, dry eyes and love.☆17Nov 16, 2023Updated 2 years ago
- Frontend for the Alohomora app in Omniport☆11Jan 29, 2019Updated 7 years ago
- Code for "FactKB: Generalizable Factuality Evaluation using Language Models Enhanced with Factual Knowledge". EMNLP 2023.☆20Dec 25, 2023Updated 2 years ago
- This is the template for Omniport frontend apps☆10Feb 5, 2019Updated 7 years ago
- DMR Zone Channel Builder. See https://github.com/mycodeplug/example-codeplug to customize.☆13Jan 29, 2024Updated 2 years ago
- ☆10Sep 6, 2025Updated 7 months ago
- Ansible Playbooks mainly for SmartOS Joyent/LX Zones☆11Feb 1, 2019Updated 7 years ago
- Backend for the GIF service in Omniport☆10Jun 23, 2020Updated 5 years ago
- Frontend for the terms of use service in Omniport☆10Jan 15, 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.
- An example of a fairing for rocket to use tracing (as this pops up at many places in dicussions and questions)☆17Mar 26, 2026Updated 2 weeks ago
- Keep track of things in the future.☆12Feb 19, 2017Updated 9 years ago
- ☆15Jan 19, 2018Updated 8 years ago
- JavaScript library for getting geojson from the Wikipedia API☆22Sep 25, 2015Updated 10 years ago
- Maracas is a source code and bytecode analysis framework—written in Java with the help of Spoon—which analyzes how Java libraries evolve…☆16Feb 15, 2025Updated last year
- Some realistic tabular datasets for testing (CSV)☆21Mar 7, 2018Updated 8 years ago
- Google Summer of Code 2019, 2020 proposal for GNU Radio☆18Jul 17, 2020Updated 5 years ago
- Mini Stepper Motor with Android and Arduino☆18Aug 3, 2014Updated 11 years ago
- Security audit tool for Encrypt.to☆14May 2, 2015Updated 10 years ago
- 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.
- mdbook typst preprocessor☆16Mar 30, 2026Updated 2 weeks ago
- Examples using Ext JS and Touch for http://extdesenv.com☆45Jul 19, 2013Updated 12 years ago
- A collection of tools to work with Illumina's basespace☆13Apr 10, 2019Updated 7 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Mar 27, 2026Updated 2 weeks ago
- Linked SDMX☆17Oct 26, 2014Updated 11 years ago
- Integrated Variant Caller☆17Mar 15, 2018Updated 8 years ago
- Nanopore desc☆18Aug 22, 2016Updated 9 years ago
- Crawled Wikipedia Tables with Passages☆13Aug 19, 2021Updated 4 years ago
- SDL (Simple Declarative Language) for java☆13Feb 1, 2026Updated 2 months 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 settings service in Omniport☆13Jan 31, 2022Updated 4 years ago
- Performs a CMS Speed Up after an update is completed☆13Aug 2, 2018Updated 7 years ago
- A specification for a jsonld nodejs stream☆15Oct 13, 2018Updated 7 years ago
- Simple Declarative Language (SDL) for Dart☆10Dec 19, 2019Updated 6 years ago
- This role allows easy provisioning of virtual machines on a SmartOS host using Ansible.☆12Dec 8, 2017Updated 8 years ago
- Dataset for the ACL 2015 paper : Learning to Explain Entity Relationships in Knowledge Graphs☆11Oct 22, 2015Updated 10 years ago
- Wikimedia Commons map georectifier and warper. See wikimaps_new branch.☆11Jul 4, 2022Updated 3 years ago