z3 tutorialJupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✭ 117 (+154.35%)
intrepidIntrepyd Model Checker
Stars: ✭ 14 (-69.57%)
Forest分布式任务调度平台,分布式,任务调度,schedule,scheduler
Stars: ✭ 231 (+402.17%)
kleverRead-only mirror of the Klever Git repository
Stars: ✭ 18 (-60.87%)
WinhueControlling the Philips Hue lighting system from your Windows PC.
Stars: ✭ 167 (+263.04%)
DNTScheduler.CoreDNTScheduler.Core is a lightweight ASP.NET Core's background tasks runner and scheduler
Stars: ✭ 44 (-4.35%)
Hitchhikera Restful Api test tool
Stars: ✭ 2,175 (+4628.26%)
kube-install一鍵安裝部署高可用的多kubernetes集羣(二進位離線方式),支持定時安裝、添加與銷毀node、銷毀與修復master、一鍵卸載集羣等。One click offline installation of highly available multiple kubernetes cluster, supports schedule installation, addition of nodes, rebuild of kubernetes master, and uninstallation of clusters.
Stars: ✭ 336 (+630.43%)
Awesome KubernetesA curated list for awesome kubernetes sources 🚢🎉
Stars: ✭ 12,306 (+26652.17%)
koikaA core language for rule-based hardware design 🦑
Stars: ✭ 103 (+123.91%)
ScheduleSchedule module for Nest framework (node.js) ⏰
Stars: ✭ 137 (+197.83%)
crystimeAdvanced time, calendar, schedule, and remind library for Crystal
Stars: ✭ 23 (-50%)
CloudSimPyCloudSimPy: Datacenter job scheduling simulation framework
Stars: ✭ 144 (+213.04%)
Advanced-xv6Modern improvements for MIT's xv6 OS
Stars: ✭ 26 (-43.48%)
ld-schedulerSchedule Launch Darkly flags on or off
Stars: ✭ 14 (-69.57%)
StevejobsA simple jobs queue that just works (for Meteor.js)
Stars: ✭ 195 (+323.91%)
delay-timerTime-manager of delayed tasks. Like crontab, but synchronous asynchronous tasks are possible scheduling, and dynamic add/cancel/remove is supported.
Stars: ✭ 257 (+458.7%)
DatabayDatabay is a Python interface for scheduled data transfer. It facilitates transfer of (any) data from A to B, on a scheduled interval.
Stars: ✭ 175 (+280.43%)
watchman📆 更夫(watchman)是一款可视化的定时任务配置 Web 工具,麻麻不用担心我漏掉任何更新啦!
Stars: ✭ 40 (-13.04%)
Scheduler CardHA Lovelace card for control of scheduler entities
Stars: ✭ 154 (+234.78%)
legacy-bottlerocketsNode.js high availability queue and scheduler for background job processing
Stars: ✭ 25 (-45.65%)
Go spider[爬虫框架 (golang)] An awesome Go concurrent Crawler(spider) framework. The crawler is flexible and modular. It can be expanded to an Individualized crawler easily or you can use the default crawl components only.
Stars: ✭ 1,745 (+3693.48%)
tlacliA script for running TLA+/TLC from the command line
Stars: ✭ 75 (+63.04%)
Laravel Database ScheduleManage your Laravel Task Scheduling in a friendly interface and save schedules to the database.
Stars: ✭ 94 (+104.35%)
Torrent-AlertTorrent Keyword Search, Schedule & Alert #BuildWithMeteorJS
Stars: ✭ 21 (-54.35%)
Hickory🕰 The command line tool for scheduling Python scripts
Stars: ✭ 126 (+173.91%)
AirflowETLBlog post on ETL pipelines with Airflow
Stars: ✭ 20 (-56.52%)
schkedFramework agnostic scheduler to run recurring jobs.
Stars: ✭ 78 (+69.57%)
z3-wasmScripts and Javascript Glue code to use Z3 in the browser using WASM
Stars: ✭ 11 (-76.09%)
MRTScheduleSwiftUIMRT Schedule & Locator iOS App built using SwiftUI
Stars: ✭ 32 (-30.43%)
aws-tag-sched-opsRetired, please see https://github.com/sqlxpert/lights-off-aws
Stars: ✭ 24 (-47.83%)
Pagerbeauty📟✨ PagerDuty on-call widget for monitoring dashboard. Datadog and Grafana compatible
Stars: ✭ 250 (+443.48%)
Schedule BundleSchedule Cron jobs (commands/callbacks/bash scripts) within your Symfony application.
Stars: ✭ 216 (+369.57%)
cronerTrigger functions and/or evaluate cron expressions in JavaScript. No dependencies. Most features. All environments.
Stars: ✭ 169 (+267.39%)
OPosterScheduling Platform for Social Media Networks. Powered by Orienteer
Stars: ✭ 31 (-32.61%)
Adonis BullThe easiest way to start using an asynchronous job queue with AdonisJS. Ready for Adonis v5 ⚡️
Stars: ✭ 177 (+284.78%)
Saber-BotA discord bot to manage schedules & calendars with discord notifications.
Stars: ✭ 30 (-34.78%)
Owllookowllook-小说搜索引擎
Stars: ✭ 2,163 (+4602.17%)
TorXakisA tool for Model Based Testing
Stars: ✭ 40 (-13.04%)
ClockA low consumption, low latency support for frequent updates of large capcity timing manage
Stars: ✭ 161 (+250%)
TimespaceA jQuery plugin to handle displaying of time events
Stars: ✭ 27 (-41.3%)
ScheduleSchedule is a package that helps tracking schedules for your models. If you have workers in a company, you can set schedules for them and see their availability though the time.
Stars: ✭ 155 (+236.96%)
react-gantt-schedule-timeline-calendarReact Gantt Schedule Timeline Calendar component wrapper for gantt-schedule-timeline-calendar [ react gantt, gantt, react gantt chart, react schedule, react timeline, react calendar, gantt, schedule, scheduler, timeline, calendar, react gantt chart ]
Stars: ✭ 47 (+2.17%)
Garbage Collection🗑 Custom Home Assistant sensor for scheduling garbage collection (or other regularly re-occurring events - weekly on given days, semi-weekly or monthly)
Stars: ✭ 139 (+202.17%)
Timetable📆 timetables.js plugin, timetable schedule school-timetable 课程表 大学课表 日程表 插件
Stars: ✭ 140 (+204.35%)
async croncrontab for python,with asyncio
Stars: ✭ 23 (-50%)
CronA cron expression parser in Rust
Stars: ✭ 132 (+186.96%)
easy z3Using z3's never been easier (maybe)
Stars: ✭ 94 (+104.35%)
NapchartDrag-and-drop time-planning library using HTML5 and the canvas element
Stars: ✭ 129 (+180.43%)
triggerableTrigger/automation engine for ActiveRecord models
Stars: ✭ 18 (-60.87%)
WorkqJob server in Go
Stars: ✭ 1,546 (+3260.87%)
z3-modeAn interactive development environment for SMT-LIB files and Z3
Stars: ✭ 20 (-56.52%)
high-assurance-legacyLegacy code connected to the high-assurance implementation of the Ouroboros protocol family
Stars: ✭ 81 (+76.09%)
SchedulerPHP Simple Scheduler - set occurrence expressions and get next x execution dates [Cron, Crontab, Task Scheduler]
Stars: ✭ 25 (-45.65%)