Web application designed to help students find the perfect schedule at Miami University - Oxford.
☆16Feb 27, 2023Updated 3 years ago
Alternatives and similar repositories for miami-scheduler
Users that are interested in miami-scheduler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A general framework for embedding Logic Programming in complex systems☆30Apr 20, 2026Updated last month
- Clingo on the web☆45Jun 10, 2026Updated last week
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- Command line tool for navigating git repositories.☆10May 5, 2023Updated 3 years ago
- hotline resources for transgender people☆34Apr 25, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- ☆11Aug 4, 2025Updated 10 months ago
- The famous merge strategy☆15Feb 15, 2017Updated 9 years ago
- A script to remove the word "simply" from any GitHub repository☆13Jan 26, 2018Updated 8 years ago
- [Deprecated] eXo Platform in a Docker container☆10Dec 9, 2025Updated 6 months ago
- Typing animation☆13Aug 9, 2014Updated 11 years ago
- Provides analyzers that are based on the .NET Compiler Platform.☆17Updated this week
- a webring of interesting people☆84Mar 19, 2026Updated 3 months ago
- HTML Slide Theme package for Sphinx documentation tool.☆20Apr 27, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The fast DI-container that you can understand.☆14Dec 20, 2017Updated 8 years ago
- Reasoning on the response of logical signaling networks with Answer Set Programming☆15Feb 10, 2026Updated 4 months ago
- https://opensourcemaintenancefee.org☆28Feb 4, 2026Updated 4 months ago
- Packages CodeScene in one container, Nginx proxy with self-signed cert in another, and composes them to one service. Ideas from codeclou/…☆14Aug 1, 2021Updated 4 years ago
- 📜 Syntax highlighting and auto indentation for clingo/gringo.☆13Jul 22, 2022Updated 3 years ago
- PHP library to dynamically generate configuration profiles for Apple devices☆13Nov 16, 2021Updated 4 years ago
- A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).☆10Dec 1, 2025Updated 6 months ago
- DiceKeys for Android☆15Sep 25, 2025Updated 8 months ago
- The Oro Operating System official repository☆27Mar 14, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A PDF redaction tool that employs named entity recognition.☆17Apr 11, 2023Updated 3 years ago
- Preview email message files (EML) in VS Code☆16Apr 14, 2022Updated 4 years ago
- Download publicly shared videos from Facebook with an ease!☆29Sep 29, 2018Updated 7 years ago
- Visual Studio Code syntax highlighting for Answer Set Programming☆13Jan 2, 2025Updated last year
- [Bash] The simplest rsync wrapper for backup and restore Linux system. Support ArchLinux, Ubuntu, etc☆19Jan 27, 2017Updated 9 years ago
- Simple Text Editor for Sandstorm built with MeteorJS☆15Mar 10, 2016Updated 10 years ago
- 🗞 Finally an extension for Visual Studio that allows you to fold your code by levels ✨☆18Jul 1, 2021Updated 4 years ago
- The DiceKeys App for Electron and Web☆17Sep 7, 2024Updated last year
- WebExtension for sending the Save-Data: on HTTP request header.☆24Jun 11, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Public website for the Certifi Project.☆59Jul 8, 2024Updated last year
- A Web interface to GraphViz with examples and tutorials☆27Apr 28, 2024Updated 2 years ago
- Decode and browse Apache Avro and JSON files in the browser☆19Nov 8, 2018Updated 7 years ago
- ☆21Sep 28, 2023Updated 2 years ago
- k8s plugin to authenticate against an OIDC compatible issuer using PKCE (pixy) flow☆24May 2, 2022Updated 4 years ago
- Got units? Convert them! Parse length, angle and resolution CSS values and convert between units.☆26Jan 17, 2023Updated 3 years ago
- A Simple Bash-Like Shell☆29Mar 28, 2019Updated 7 years ago