CoqhammerCoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Stars: ✭ 157 (-14.21%)
NipyapiA convenient Python wrapper for Apache NiFi
Stars: ✭ 169 (-7.65%)
FoyA simple, light-weight and modern task runner for general purpose.
Stars: ✭ 157 (-14.21%)
AppsmithLow code project to build admin panels, internal tools, and dashboards. Integrates with 15+ databases and any API.
Stars: ✭ 12,079 (+6500.55%)
LicenseplistA license list generator of all your dependencies for iOS applications
Stars: ✭ 1,996 (+990.71%)
LigetNuGet server and cache running on kestrel in docker
Stars: ✭ 177 (-3.28%)
EctsElastic Crontab System 简单易用的分布式定时任务管理系统
Stars: ✭ 156 (-14.75%)
Proctoring AiCreating a software for automatic monitoring in online proctoring
Stars: ✭ 155 (-15.3%)
Rocksdb Sharp.net bindings for the rocksdb by facebook
Stars: ✭ 173 (-5.46%)
Magazine Website🐭 A magazine website (using .NET Core, ASP.NET Core, EF Core) with DDD, CQRS, microservices, asynchronous programming applied...
Stars: ✭ 155 (-15.3%)
WinhueControlling the Philips Hue lighting system from your Windows PC.
Stars: ✭ 167 (-8.74%)
Qxf2 Page Object ModelWrite Selenium and Appium tests in Python using the Page Object pattern. This Pythonic GUI and API test automation framework will help you get started with QA automation quickly. It comes with many useful integrations like - email, BrowserStack, Slack, TestRail, etc. This repository is developed and maintained by Qxf2 Services (https://qxf2.com).
Stars: ✭ 155 (-15.3%)
ImprovexamarinbuildtimesTips and tricks on how to speed up the time it takes to compile a Xamarin app
Stars: ✭ 180 (-1.64%)
Nhibernate CoreNHibernate Object Relational Mapper
Stars: ✭ 1,918 (+948.09%)
Devicemanager.apiWeb API Framework demonstrates scalable, multitenant, architecture and allows building its own solution in the minutes. Uses: Entity Framework, UnitOfWork, Repository patterns. Wrapped in Docker, Kubernetes
Stars: ✭ 168 (-8.2%)
Cloudtaskcloudtask is a distributed task scheduling platform.
Stars: ✭ 173 (-5.46%)
AppmetricsApp Metrics is an open-source and cross-platform .NET library used to record and report metrics within an application.
Stars: ✭ 1,986 (+985.25%)
ReactoptA CLI React performance optimization tool that identifies potential unnecessary re-rendering
Stars: ✭ 1,975 (+979.23%)
WorklyA really simple way to move a function or class to a web worker. 🏋️♀️→ 😄
Stars: ✭ 1,848 (+909.84%)
InterruptA community for embedded software makers.
Stars: ✭ 178 (-2.73%)
EdwardA tool for managing local microservice instances
Stars: ✭ 152 (-16.94%)
Autopilot RsA simple, cross-platform GUI automation module for Rust.
Stars: ✭ 168 (-8.2%)
NgettextA cross-platform .NET implementation of the GNU/Gettext library.
Stars: ✭ 172 (-6.01%)
ModdA flexible developer tool that runs processes and responds to filesystem changes
Stars: ✭ 2,030 (+1009.29%)
Homebridge WolA Wake on Lan plugin for Homebridge
Stars: ✭ 150 (-18.03%)
ProcsdManage your application processes in production hassle-free like Heroku CLI with Procfile and Systemd
Stars: ✭ 181 (-1.09%)
Dotnetcore.NET 5 Nuget Packages.
Stars: ✭ 146 (-20.22%)
CraftsmanCraftsman is the workhorse behind the Wrapt framework and provides a suite of CLI commands for quickly scaffolding out new files and projects for your .NET Web APIs with simple CLI commands and configuration files.
Stars: ✭ 165 (-9.84%)
EasyengineCommand-line control panel for Nginx Server to manage WordPress sites running on Nginx, PHP, MySQL, and Let's Encrypt
Stars: ✭ 1,881 (+927.87%)
NetdevAsynchronous multi-vendor library for interacting with network devices
Stars: ✭ 172 (-6.01%)
PunkA data REBL built for the web
Stars: ✭ 148 (-19.13%)
Python devops book[Book-2020] Python For DevOps: Learn Ruthlessly Effective Automation
Stars: ✭ 166 (-9.29%)
GordonAndroid Test Runner
Stars: ✭ 148 (-19.13%)
Intrec PackIntelligence and Reconnaissance Package/Bundle installer.
Stars: ✭ 177 (-3.28%)
Web Vitals ExtensionA Chrome extension to measure essential metrics for a healthy site
Stars: ✭ 1,943 (+961.75%)
Xlwingsxlwings is a BSD-licensed Python library that makes it easy to call Python from Excel and vice versa. It works with Microsoft Excel on Windows and macOS.
Stars: ✭ 2,181 (+1091.8%)
Ether.networkhttps://github.com/Eastrall/Sylver
Stars: ✭ 147 (-19.67%)
Faas FlowFunction Composition for OpenFaaS
Stars: ✭ 172 (-6.01%)
Github ActionsOpen source list of GitHub Actions. Free free to submit a PR to add your action
Stars: ✭ 145 (-20.77%)
Vue ConcurrencyA library for encapsulating asynchronous operations and managing concurrency for Vue and Composition API.
Stars: ✭ 147 (-19.67%)
Assh💻 make your ssh client smarter
Stars: ✭ 2,340 (+1178.69%)
JustThe task library that just works
Stars: ✭ 1,833 (+901.64%)
IlpackSerialize .NET Core assemblies
Stars: ✭ 165 (-9.84%)
TaskwarriorTaskwarrior - Command line Task Management
Stars: ✭ 2,239 (+1123.5%)
Raml Dotnet ToolsVisual Studio extension to work with RAML and OAS (OpenAPI) specifications. You can consume REST APIs, scaffold ASP.NET implementations and extract RAML specifications from existing ASP.Net apps.
Stars: ✭ 171 (-6.56%)
KasayaA "WYSIWYG" (sort of) scripting language and runtime for browser automation
Stars: ✭ 1,906 (+941.53%)
BoxDevelop Tool
Stars: ✭ 175 (-4.37%)
ExamplesUse case-driven examples for using Puppeteer and headless chrome
Stars: ✭ 2,125 (+1061.2%)
AutospottingSaves up to 90% of AWS EC2 costs by automating the use of spot instances on existing AutoScaling groups. Installs in minutes using CloudFormation or Terraform. Convenient to deploy at scale using StackSets. Uses tagging to avoid launch configuration changes. Automated spot termination handling. Reliable fallback to on-demand instances.
Stars: ✭ 2,014 (+1000.55%)
Marathon[DEPRECATED] Marathon makes it easy to write, run and manage your Swift scripts 🏃
Stars: ✭ 1,889 (+932.24%)
DevspaceDevSpace - The Fastest Developer Tool for Kubernetes ⚡ Automate your deployment workflow with DevSpace and develop software directly inside Kubernetes.
Stars: ✭ 2,559 (+1298.36%)
Dotnet RetireOpen source vulnerability scanner for .NET Core projects
Stars: ✭ 161 (-12.02%)
TerribleAn Ansible playbook that apply the principle of the Infrastructure as Code on a QEMU/KVM environment.
Stars: ✭ 161 (-12.02%)