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:
- Json patch serializer☆13Dec 12, 2020Updated 5 years ago
- ☆20Oct 1, 2018Updated 7 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
- Type-safe NBT parser with kotlinx.serialization, SNBT and JSON support.☆13Mar 4, 2023Updated 3 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Sep 18, 2025Updated 9 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Java API for generating typescript source files (.ts files)☆14Dec 28, 2020Updated 5 years ago
- A RPC interface for Minecraft☆16Apr 27, 2022Updated 4 years ago
- Simplified token definition and lexer creation library for use with Chevrotain.☆10Oct 7, 2024Updated last year
- Code and notebooks from experiments in Numer.ai☆15Mar 15, 2017Updated 9 years ago
- Build 3D models using Javascript☆13Jan 17, 2025Updated last year
- A unit testing framework for AutoHotkey☆19Nov 30, 2022Updated 3 years ago
- An oData service for databases☆11Sep 3, 2024Updated last year
- This is an IntelliJ/Android Studio IDE plugin to detect the code with @Experimental and @Beta annotations and show a custom icon on the …☆13May 26, 2018Updated 8 years ago
- JavaScript library for getting geojson from the Wikipedia API☆22Sep 25, 2015Updated 10 years ago
- 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.
- tiny fmt utility☆39Oct 14, 2014Updated 11 years ago
- An HTML parser for Lezer☆17Apr 15, 2026Updated 2 months ago
- Files for London PyData London, 2015☆15Jun 18, 2015Updated 11 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
- Lightweight append-only, header-less, journaling file format (C++11)☆15Dec 8, 2015Updated 10 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Mar 27, 2026Updated 3 months ago
- Python parser for UCUM (Unified Code for Units of Measure) incl. converter to pint units☆15Jun 4, 2026Updated 3 weeks ago
- Linked SDMX☆17Oct 26, 2014Updated 11 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.
- Quick starts for Teiid WildFly☆25Apr 3, 2019Updated 7 years ago
- Mount python — it's fun, not a typo, and next to pointless!☆50Jun 30, 2014Updated 12 years ago
- SDL (Simple Declarative Language) for java☆13Feb 1, 2026Updated 5 months ago
- Crawled Wikipedia Tables with Passages☆14Aug 19, 2021Updated 4 years ago
- Automatically redirect to the new non-Fandom Minecraft wiki.☆12Nov 27, 2024Updated last year
- 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
- ☆19May 7, 2020Updated 6 years ago
- Provides RESTful APIs and WebHooks for managing and automating your Minecraft server.☆16Sep 6, 2025Updated 9 months ago
- 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.
- Simple Declarative Language (SDL) for Dart☆10Dec 19, 2019Updated 6 years ago
- Wikimedia Commons map georectifier and warper. See wikimaps_new branch.☆11Jul 4, 2022Updated 3 years ago
- A Minecraft mod that adds a slightly modified and more capable version of the vanilla Crafting Table☆14Dec 6, 2022Updated 3 years ago
- Python 2 and 3 module to generate QR Codes☆12Dec 21, 2021Updated 4 years ago
- Utility for running files/scripts/apps as Administrator☆13Nov 14, 2025Updated 7 months ago
- A rust interface to http://openml.org/☆12Jul 13, 2019Updated 6 years ago
- (MIRROR) Quantumsim, a GPU-accellerated full density matrix simulator of quantum circuits☆32Apr 5, 2023Updated 3 years ago