Search Results for "plagiarism checker mac"
Sort By:
Showing 360 open source projects for "plagiarism checker mac"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
Desktop Plagiarism Checker
Free plagiarism software for .NET (Windows 7, 8.1, 10, 11)
Plagiarisma tools are a valuable resource for anyone who wants to ensure the originality and accuracy of their written work. The plagiarism checker is a useful tool for detecting any instances of copied content in a document. It compares the text with a vast database of sources to determine the level of similarity and highlights any potential areas of concern. The paraphraser tool allows writers to rephrase their sentences to avoid plagiarism, while the summarizer provides a concise overview... -
2
IPFS Public Gateway Checker
Checks which public gateways are online or not
A site displaying public IPFS gateways and their online/offline status. The list contains gateways operated by various parties, coordinated by loose mutual consensus, without a central governing authority. Protocol Labs operates and is responsible for only two of the listed gateways: ipfs.io and dweb.link. -
3
Swift Package Dependencies Checker
Catch up with outdated versions based on your package dep requirements
This action process your Package.swift file to detect outdated versions based on your package dependency requirements. Action will fail in case there are outdated dependencies. This can be suppressed by setting the input parameter failWhenOutdated to false. Then use the output parameter outdatedDependencies to know if the action detected any outdated dependencies. By setting isMutating you declare the intention to update Package.resolved (if present). Please note that the action itself does... -
4
Fork TS Checker Webpack Plugin
Webpack plugin that runs typescript type checker on a separate process
Webpack plugin that runs TypeScript type checker on a separate process. Speeds up TypeScript type checking (by moving it to a separate process). Supports modern TypeScript features like project references and incremental mode. Supports Vue Single File Component. Displays nice error messages with the code frame formatted. This plugin requires Node.js >=12.13.0+, Webpack ^5.11.0, TypeScript ^3.6.0. It's very important to be aware that this plugin uses TypeScript's, not webpack's modules... -
Manage your IT department more effectivelyConnectWise PSA (formerly Manage) allows you to stop working in separate systems, and helps you build a more profitable business. No more duplicate data entries, inefficient employees, manual invoices, and the inability to accurately track client service issues. Get a behind the scenes look into the award-winning PSA that automates processes for each area of business: sales, help desk, support, finance, and HR.
-
5
Rekado
Payload launcher and serial number checker for Nintendo Switch
Payload launcher is written in Kotlin for Nintendo Switch. The application doesn't require Root on your device. -
6
Luau
Fast, small, safe, gradually typed embeddable scripting language
It is designed to be backward compatible with Lua 5.1, as well as incorporating some features from future Lua releases, but also expands the feature set (most notably with type annotations). Luau is largely implemented from scratch, with the language runtime being a very heavily modified version of Lua 5.1 runtime, with a completely rewritten interpreter and other performance innovations. The runtime mostly preserves Lua 5.1 API, so existing bindings should be more or less compatible with a... -
7
GPerftools
Fast, multi-threaded malloc() and nifty performance analysis tools
GPerftools (formerly Google Performance Tools) is a collection of a high-performance multi-threaded malloc() implementation, plus some pretty nifty performance analysis tools useful for creating more robust applications. These tools can be especially useful when developing multi-threaded applications in C++ with templates. Among these tools are TCMalloc, a thread-friendly heap-checker, heap-profiler and cpu-profiler. -
8
Pyright
Static type checker for Python
Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. Pyright supports configuration files that provide granular control over settings. Different “execution environments” can be associated with subdirectories within a source base. Each environment can specify different module search paths, python language versions, and platform targets. Type inference for function return values, instance... -
9
WhatSie
Feature rich WhatsApp Client for Desktop Linux
Feature-rich WhatsApp web client based on Qt WebEngine for Linux Desktop. -
High-performance Open Source API GatewayKrakenD is a high-performance API Gateway optimized for resource efficiency, capable of managing 70,000 requests per second on a single instance. The stateless architecture allows for straightforward, linear scalability, eliminating the need for complex coordination or database maintenance.
-
10
gosec
Golang security checker
A project devoted to secure programming in the Go language. Licensed under the Apache License, Version 2.0 (the "License"). You may not use this file except in compliance with the License. You can integrate third-party code analysis tools with GitHub code scanning by uploading data as SARIF files. The workflow shows an example of running the gosec as a step in a GitHub action workflow that outputs the results.sarif file. The workflow then uploads the results.sarif file to GitHub using the... -
11
Lux
The Lux Programming Language
... commercial use, and has other conditions which may be undesirable for some. The language is mostly inspired by the following 3 languages. Clojure (syntax, overall look & feel), Haskell (functional programming), and Standard ML (module system). They are implemented as plain-old data-structures whose expressions get eval'ed by the compiler and integrated into the type-checker. The main difference between Lux & Standard ML is that Standard ML separates interfaces/signatures and implementations/structures. -
12
tlaplus
TLC is an explicit state model checker for specifications in TLA+
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. -
13
Go Tools
Various packages and tools that support the Go programming language
This subrepository holds the source for various packages and tools that support the Go programming language. Some of the tools, godoc and vet for example, are included in binary Go distributions. Others, including the Go guru and the test coverage tool, can be fetched with go get. Packages include a type-checker for Go and an implementation of the Static Single Assignment form (SSA) representation for Go programs. This repository uses prettier to format JS and CSS files. The version of prettier... -
14
Ansible-lint
Best practices checker for Ansible
Ansible Lint is a command-line tool for linting playbooks, roles and collections aimed towards any Ansible users. Its main goal is to promote proven practices, patterns and behaviors while avoiding common pitfalls that can easily lead to bugs or make code harder to maintain. Ansible lint is also supposed to help users upgrade their code to work with newer versions of Ansible. Due to this reason we recommend using it with the newest version of Ansible, even if the version used in production... -
15
pinning-service-compliance
This repo checks the compliance of IPFS Pinning Services
The compliance test suite for IPFS Pinning Service API Spec. Run the compliance checker against a service. It is recommended to use an auth_token separate from your production/live services. The compliance checks will do their best not to corrupt any existing pins you have, but consistent tests without consistent data is challenging. -
16
go-critic
The most opinionated Go source code linter for code audit
The most opinionated Go source code linter. go-critic is a collection of checks that detect style, and performance issues as well as some common programming errors. We provide as many useful checks as possible. We’re prototyping and experimenting here. When specific check implementation is mature and proven useful, propose it’s integration into other linter. If a good checker can’t find a better home, it stays here. Almost 100 diagnostics that check for bugs, performance and style issues... -
17
eslint-plugin-jsx-a11y
Static AST checker for a11y rules on JSX elements
Static AST checker for accessibility rules on JSX elements. This plugin does a static evaluation of the JSX to spot accessibility issues in React apps. Because it only catches errors in static code, use it in combination with axe-core/react to test the accessibility of the rendered DOM. Consider these tools just as one step of a larger a11y testing process and always test your apps with assistive technology. If you installed ESLint globally (using the -g flag in npm, or the global prefix... -
18
Idris 2
A purely functional programming language with first class types
In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from... -
19
Flow
A static type checker for JavaScript
Flow is a static type checker for JavaScript. It was designed to help improve code quality and developer productivity. It does this through several smart capabilities. First, it identifies problems as you code, so you no longer have to waste time guessing and checking again and again. Second, it understands your code and makes its knowledge available, allowing you to build other smart tools on top of it. Third, it helps you refactor safely so you can focus on the changes you want to make... -
20
GraalPy
A Python 3 implementation built on GraalVM
GraalPy is a high-performance implementation of the Python language for the JVM built on GraalVM. GraalPy is a Python 3.11 compliant runtime. It has first-class support for embedding in Java and can turn Python applications into fast, standalone binaries. GraalPy is ready for production running pure Python code and has experimental support for many popular native extension modules. -
21
auth
Authenticator via oauth2, direct, email and telegram
This library provides “social login” with Github, Google, Facebook, Microsoft, Twitter, Yandex, Battle.net, Apple, Patreon, and Telegram as well as custom auth providers and email verification. -
22
tinyhttp
0-legacy, tiny & fast web framework
... handlers, and a function checker inside tinyhttp to resolve async functions and execute sync ones. To say shorter, both sync and async work fine. -
23
streetmerchant
The world's easiest, most powerful stock checker
First and foremost, this service will not automatically buy for you. Runs 24/7, 365, looking for the items you want. Ability to add to cart when available and even opens the browser for you. When you're not by your computer, worry-free with notifications to most platforms and devices when an item comes in stock. You'll find most of the content on the left sidebar. The right sidebar will help you navigate a page. You do not need any computer skills, smarts, or anything of that nature. You are... -
24
ts-blank-space
A small, fast, pure JavaScript type-stripper
ts-blank-space is a fast type-stripping compiler that converts TypeScript to JavaScript. It supports a modern subset of TypeScript by erasing the types and replacing them with whitespace. That's it. It is not a type checker and does not perform any other code transformations. The underlying technique can improve build performance and simplify development. The implementation is pure TypeScript. It is simple enough to read and understand in a few minutes because it is only 700 lines of code... -
25
NullAway
A tool to help eliminate NullPointerExceptions (NPEs) in your code
NullAway is a tool to help eliminate NullPointerExceptions (NPEs) in your Java code. To use NullAway, first add @Nullable annotations in your code wherever a field, method parameter, or return value may be null. Given these annotations, NullAway performs a series of type-based, local checks to ensure that any pointer that gets dereferenced in your code cannot be null. NullAway is similar to the type-based nullability checking in the Kotlin and Swift languages, and the Checker Framework...