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
- My old Vue SPA portfolio, my previous small personal slice of the Internet☆12Jun 1, 2022Updated 4 years ago
- ☆20Oct 1, 2018Updated 7 years ago
- A cross platform universal file converter.☆12Sep 14, 2020Updated 5 years ago
- 🚔 Brooklyn Nine Nine sounds app for Android and IOS☆13Apr 28, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Ion, JSON, YAML, CSV, CBOR and Msgpack serialization framework☆19Nov 6, 2025Updated 7 months ago
- Frontend for the apps service in Omniport☆10Jan 11, 2020Updated 6 years ago
- A collection of IP addresses and hostnames banned by Greek law and global security services like Spamhaus for MikroTik firewall configura…☆13Jun 10, 2025Updated last year
- Vlad helps you distribute your stake on Numer.ai☆12Feb 27, 2026Updated 3 months ago
- LaTeX source code for new Networking Textbook☆13Feb 16, 2022Updated 4 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
- A public domain database about trees.☆16Apr 17, 2024Updated 2 years ago
- ☆10May 31, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Backend for the helpcentre service in Omniport☆10Aug 14, 2024Updated last year
- Code and notebooks from experiments in Numer.ai☆15Mar 15, 2017Updated 9 years ago
- 1ος Πανελλήνιος Μαθητικός Διαγωνισμός Κυβερνοασφάλειας (2023)☆13May 4, 2023Updated 3 years 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
- Fork of Barnes-Hut t-SNE with improved performance and OpenMP parallelization☆17Mar 7, 2017Updated 9 years ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- ☆15Jan 19, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- JavaScript library for getting geojson from the Wikipedia API☆22Sep 25, 2015Updated 10 years ago
- A semantic versioning command line utility written in Go.☆17Jun 7, 2026Updated last week
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18Jun 4, 2026Updated last week
- Some realistic tabular datasets for testing (CSV)☆21Mar 7, 2018Updated 8 years ago
- Files for London PyData London, 2015☆15Jun 18, 2015Updated 10 years ago
- Google Summer of Code 2019, 2020 proposal for GNU Radio☆18Jul 17, 2020Updated 5 years ago
- Jupyter server proxy for OpenRefine☆10Oct 18, 2024Updated last year
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆13Aug 14, 2024Updated last year
- A collection of tools to work with Illumina's basespace☆13Apr 10, 2019Updated 7 years ago
- Import a classic HyperCard stack and export HTML or JSON☆14Jan 1, 2023Updated 3 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Mar 27, 2026Updated 2 months ago
- Backend for the settings service in Omniport☆12May 26, 2022Updated 4 years ago
- Backend for the groups service in Omniport☆13Jan 14, 2022Updated 4 years ago
- Linked SDMX☆17Oct 26, 2014Updated 11 years ago