Search Results for "plagiarism checker source code"
Sort By:
Showing 42 open source projects for "plagiarism checker source code"
View related business solutions-
MicroStation by Bentley Systems is the trusted computer-aided design (CAD) software built specifically for infrastructure design.MicroStation is the only computer-aided design software for infrastructure design, helping architects and engineers like you bring their vision to life, present their designs to their clients, and deliver their projects to the community.
-
The AI workplace management platformBy combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
-
1
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... -
2
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. -
3
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 and... -
4
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. -
Award-Winning Medical Office Software Designed for Your SpecialtyRXNT is an ambulatory healthcare technology pioneer that empowers medical practices and healthcare organizations to succeed and scale through innovative, data-backed, AI-powered software.
-
5
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. -
6
ty
An extremely fast Python type checker and language server
ty is an extremely fast Python type checker and language server built in Rust, designed to provide highly responsive and accurate static analysis for modern Python development workflows. It is positioned as a next-generation alternative to tools such as mypy and Pyright, offering significantly faster performance through incremental analysis and optimized execution. The tool is designed from the ground up to power editor integrations, enabling real-time feedback as developers write code with... -
7
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... -
8
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 in... -
9
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. -
Rezku Point of SaleRezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
-
10
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... -
11
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. -
12
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... -
13
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 and... -
14
Pyre
Performant type-checking for python
Built from the ground up to support gradual typing and deliver responsive incremental checks. Performant on large codebases with millions of lines of Python. Designed to help improve code quality and development speed by flagging type errors interactively in your terminal or live in your favorite editor. Follows the typing standards introduced in PEPs 484, 526, 612, and is being actively developed and constantly improved. Pyre ships with Pysa, a security focused static analysis tool we've... -
15
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... -
16
-
17
TRURL
A suite of RPN calculators and a class library for Object Pascal
TRURL is a suite of desktop calculators with reverse Polish notation (RPN) written in Object Pascal. Additionally, it comes with a free reusable class library (RPN Engine) as a toolbox for creating your own calculator. TRURL is an acronym for "TRURL is a Reusable Universal RPN Library". Class Libraries: • RPN Engine: Full-featured calculation engine for Pascal-based RPN calculators • Segmitator: Library for virtual seven-segment displays Applications: • TRURL A: Simple demo app... -
18
dktools - Dirk Krauses tools
Drawing, graphics conversion, software development, administration.
GUI and command line tools for advanced users and administrators: wxdkdraw - Minimalistic drawing application for use with LaTeX, wxd2lat - Convert wxdkdraw files to LaTeX, bitmap2pp - Convert PNG/JPEG/TIFF/NetPBM to (E)PS or PDF, fig2lat - Convert XFig files to LaTeX, htmlbook - publish HTML like a book, dkcpre - C debugging and tracing preprocessor, itadmin - manage your IT using a MySQL/MariaDB database, dk-fic - file integrity checker, dk-ls - list files, output column order is... -
19
SafeUtils
110+ developer tools as native MacOS, Linux & Windows desktop apps.
Tools: https://safeutils.com/barcode-generator https://safeutils.com/color-picker https://safeutils.com/qr-code-generator https://safeutils.com/qr-code-scanner https://safeutils.com/word-counter https://safeutils.com/base-64-decoder https://safeutils.com/diff-checker https://safeutils.com/hex-to-ascii https://safeutils.com/json-formatter https://safeutils.com/lorem-ipsum-generator https://safeutils.com/random-generator https://safeutils.com/time-converter https://safeutils.com/... -
20
plugfy
Java byte code compatibility analyser
Plugfy checks whether all dependencies of an extension are met. It pays special attention to method signatures and can detect incompatible byte code changes even if they are compatible at the source code level. -
21
Vale
Compiler for the Vale programming language
Vale is a systems programming language and compiler that strives to combine performance, safety, and ease in a way that avoids many of the complexities of traditional memory management techniques. It is ahead-of-time (AOT) compiled, targeting LLVM as a backend, and is statically typed. The language introduces a concept called generational references to provide memory safety without relying on a garbage collector, and aims for “safe without a borrow checker” (i.e. reducing the burden on the... -
22
Betty
Holberton-style C code checker written in Perl
Betty is a Perl-based coding style checker that enforces the Holberton School coding style (inspired by the Linux kernel style) for C code and documentation. It identifies inconsistencies, style violations, and formatting issues in C source files. You should be aware that by default, some text editors are using spaces instead of tabs. For instance, when you press tab key on emacs, by default, leading spaces will be put, and that will cause Betty to raise a lot of warnings. ... -
23
Google Closure Compiler
A JavaScript checker and optimizer
Closure Compiler is a production-grade JavaScript optimizer and checker that parses JS, analyzes it, removes dead code, rewrites and minifies what remains, and emits faster, smaller bundles. Beyond minification, it performs advanced optimizations such as inlining, property collapsing, type-guided rewrites, and cross-module motion, often yielding substantial load-time wins. It includes a strong static checker that validates syntax, variable references, and type annotations (Closure types or... -
24
pycodestyle
Simple Python style checker in one Python file
pycodestyle (formerly pep8) is a tool to check your Python code against some of the style conventions in PEP 8. This package used to be called pep8 but was renamed to pycodestyle to reduce confusion. Plugin architecture, adding new checks is easy. Parseable output, jump to error location in your editor. Just one Python file, requires only stdlib. You can use just the pycodestyle.py file for this purpose. Comes with a comprehensive test suite. There's also a package for Debian/Ubuntu, but... -
25
Lilak
Persian Spell Checking Dictionary
Lilak is an open source project for generating Persian dictionary for hunspell spell checker. For more information and download the source code please visit: https://github.com/m-o-s-t-a-f-a/lilak
