A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
☆41Sep 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:
- ☆10Jul 5, 2016Updated 9 years ago
- ☆15Jan 15, 2019Updated 7 years ago
- The Keep It Simple Software Bill of Material☆11Jan 31, 2022Updated 4 years ago
- Backend for the Vega Editor☆18Apr 10, 2026Updated 3 weeks ago
- ☆20Oct 1, 2018Updated 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.
- A collection of IP addresses and hostnames banned by Greek law and global security services like Spamhaus for MikroTik firewall configura…☆13Jun 10, 2025Updated 10 months ago
- Frontend for the authentication service in Omniport☆11Jan 10, 2024Updated 2 years ago
- LaTeX source code for new Networking Textbook☆13Feb 16, 2022Updated 4 years ago
- My website is the digital place where I store & release my ideas. Maintained with and☆17Apr 27, 2026Updated last week
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 7 months ago
- A simple utility to create user-specified git commit hashes☆15Nov 24, 2025Updated 5 months ago
- This is the template for Omniport frontend apps☆10Feb 5, 2019Updated 7 years ago
- 1ος Πανελλήνιος Μαθητικός Διαγωνισμός Κυβερνοασφάλειας (2023)☆13May 4, 2023Updated 3 years ago
- Fork of Barnes-Hut t-SNE with improved performance and OpenMP parallelization☆17Mar 7, 2017Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- C++ template meta-programmable framework for authoring Pintools☆37Apr 1, 2020Updated 6 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- Keep track of things in the future.☆12Feb 19, 2017Updated 9 years ago
- JavaScript library for getting geojson from the Wikipedia API☆22Sep 25, 2015Updated 10 years ago
- A semantic versioning command line utility written in Go.☆17Updated this week
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18Updated this week
- Some realistic tabular datasets for testing (CSV)☆21Mar 7, 2018Updated 8 years ago
- Python library for validating and managing binary array linked data files, e.g. HDF, netCDF.☆12Oct 14, 2022Updated 3 years ago
- Mini Stepper Motor with Android and Arduino☆18Aug 3, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Import a classic HyperCard stack and export HTML or JSON☆14Jan 1, 2023Updated 3 years ago
- Python parser for UCUM (Unified Code for Units of Measure) incl. converter to pint units☆14Updated this week
- Backend for the settings service in Omniport☆12May 26, 2022Updated 3 years ago
- Backend for the groups service in Omniport☆13Jan 14, 2022Updated 4 years ago
- Linked SDMX☆17Oct 26, 2014Updated 11 years ago
- Crawled Wikipedia Tables with Passages☆14Aug 19, 2021Updated 4 years ago
- SDL (Simple Declarative Language) for java☆13Feb 1, 2026Updated 3 months ago
- Frontend for the developer service in Omniport☆12Jan 14, 2022Updated 4 years ago
- Frontend for the settings service in Omniport☆13Jan 31, 2022Updated 4 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.
- Telegram Bot Creator using Visual Language☆10Dec 12, 2017Updated 8 years ago
- A specification for a jsonld nodejs stream☆15Oct 13, 2018Updated 7 years ago
- Backend for the links service in Omniport☆13Feb 9, 2020Updated 6 years ago
- Global analysis platform for fluorescence data☆12Apr 27, 2026Updated last week
- Dataset for the ACL 2015 paper : Learning to Explain Entity Relationships in Knowledge Graphs☆11Oct 22, 2015Updated 10 years ago
- Data Catalog Project☆11Dec 23, 2024Updated last year
- Official code for AAAI'20 paper "Merging Weak and Active Supervision for Semantic Parsing"☆11Dec 8, 2022Updated 3 years ago