Search Results for "source code static anala" - Page 10
Sort By:
Showing 309 open source projects for "source code static anala"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Error to trace to log to deploy. One click. No SSH.AppSignal links every error to the trace, the trace to the log, the log to the deploy that shipped it.
-
1
Junior
A striking black and white theme for Jekyll
Junior is a blog/portfolio theme for Jekyll, the static site generator. Connects, using Github's API, with your public profile and pulls your projects (ordered by Stars). Coming soon, you will also be able to showcase significant PRs. Tag colors are also matched to the project's Github language color coding. -
2
Boot
Build tooling for Clojure
Boot is a Clojure build framework and ad-hoc Clojure script evaluator. Boot provides a runtime environment that includes all of the tools needed to build Clojure projects from scripts written in Clojure that run in the context of the project. Build processes for applications always end up being complex things. A simple web application, for instance, may require many integrations–asset pipelines, deployment to different environments, the compilation of multiple artifacts with different... -
3
Geek Navigation
Navigation Station for Independent Developers!
Geek Ape Navigation. Navigation Station for Independent Developers! It originated from Tencent Navigation Station. At that time, when I first came into contact with the front end, I was looking for a website to imitate. This navigation station was born. The previous version added navigation to modify HTML, the JSON version solved the problem of managing navigation modification code, and managed all navigation in the form of managing JSON files. The management and navigation of the above... -
4
Go Meta Linter
Runs a whole bunch of those linters and normalizes their output
Go Meta Linter is a deprecated Go meta-linter that was created to run many Go static analysis tools at the same time. It normalizes their results into one consistent output format so editors, IDEs, and CI systems can read problems more easily. The tool helps developers catch issues such as unused code, unchecked errors, duplicated code, style problems, security concerns, and suspicious compiler-level behavior. It supports a broad collection of linters and lets users customize which checks... -
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
5
pangu.py
Paranoid text spacing in Python
pangu.py is a Python port of the Pangu spacing tool that automatically inserts proper whitespace between CJK characters and Latin letters, numbers, or symbols. Mixed-script text often becomes cramped or ambiguous, and this library applies simple but effective typography rules to make it instantly more readable. It works both as a Python library and a command-line utility, so you can process strings in code, tidy files in bulk, or wire it into documentation and build pipelines. The... -
6
awesome-ci
Awesome Continuous Integration
awesome-ci is a suite of command-line tools aimed at enhancing Continuous Integration (CI) workflows. It focuses on static code analysis, syntax checking, and file validation to maintain code quality across projects. -
7
haikuVM
A Java VM for ARDUINO and other micros using the leJOS runtime.
HaikuVM has been started for hobbyists who develop applications for ARDUINO to open the world of JAVA and leJOS. Yes, you can program an ARDUINO with JAVA! HaikuVM is so small that it even runs on an atmega8 (and the ASURO robot). And yes, you can program an ASURO robot with JAVA! And since version 1.4.0 the RCX lego brick. -
8
PHP Language Server
PHP Implementation of the VS Code Language Server Protocol
A pure PHP implementation of the open Language Server Protocol. Provides static code analysis for PHP for any IDE. -
9
Autologging
Easier logging and tracing of Python functions and class methods.
Autologging eliminates boilerplate logging setup code and tracing code, and provides a means to separate application logging from program flow and data tracing. Autologging provides two decorators and a custom log level: "autologging.logged" decorates a class to create a __log member. By default, the logger is named for the class's containing module and name (e.g. "my.module.ClassName"). "autologging.traced" decorates a class to provide automatic CALL/RETURN tracing for all class,... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
Luacheck
A tool for linting and static analysis of Lua code
Luacheck is a static analyzer and a linter for Lua. Luacheck detects various issues such as usage of undefined global variables, unused variables and values, accessing uninitialized variables, unreachable code and more. Most aspects of checking are configurable: there are options for defining custom project-related globals, for selecting set of standard globals (version of Lua standard library), for filtering warnings by type and name of related variable, etc. The options can be used on the... -
11
Ponder
C++ reflection library with Lua binding, and JSON and XML
Ponder is a C++ library that provides runtime reflection for types. It provides an abstraction for most of the high-level concepts of C++ like classes, enumerations, properties, functions, and objects. By wrapping all these concepts into abstract structures, Ponder provides an extra layer of flexibility to programs and allows them to expose and manipulate their data structures at runtime. Many applications can take advantage of Ponder, in order to automate tasks that would otherwise require... -
12
Transcrypt
Python in the Browser
Lean and mean Python 3.6 to JavaScript compiler. Supports multiple inheritance, operator overloading and Python source level debugging, even of minified Javascript files. Transcrypt code is as fast and compact as its Javascript counterpart, and it is precompiled for page load speed. You can now develop your web applications completely in Python, with full access to any Javascript library. -
13
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... -
14
Python/xarray tutorial
Python/xarray tutorial for GEOS-Chem users
If the page is loaded successfully, you should see a Jupyter notebook interface. Then, click on the first notebook to get started. Jupyter combines Python code, execution results, plots, custom texts, and even Latex formulas in a single page. Besides using the Jupyter program, you can also view the static notebook on GitHub (e.g the first notebook). Python is free & open-source so can be easily installed on any machines. To best way to get the scientific Python environment is using the Conda management system. ... -
15
JPPF
The open source grid computing solution
JPPF makes it easy to parallelize computationally intensive tasks and execute them on a Grid. -
16
Pose
Replace any .NET method (including static) with a delegate
Pose allows you to replace any .NET method (including static and non-virtual) with a delegate. It is similar to Microsoft Fakes but unlike it Pose is implemented entirely in managed code (Reflection Emit API). Everything occurs at runtime and in memory, no unmanaged Profiling APIs and no file system pollution with re-written assemblies. Pose is cross-platform and runs anywhere .NET is supported. It targets .NET Standard 2.0 so it can be used across .NET platforms including .NET Framework,... -
17
vcproj2cmake
Visual Studio .vc[x]proj to CMakeLists.txt (make, Ninja ...) enabler
...For instructions see README.txt - for ad-hoc access see Browse Code button (experimental_unverified head) -, then attempt guided installation on a .vc[x]proj-based source tree, via install_me_fully_guided.rb . Devel cooperation welcome!! -
18
West Wind Globalization
Database driven resource localization for .NET applications
This library and tooling provides easy-to-use database resource managers and providers that allow you to use a database for storing localization resources. Unlike static Resx resources, database resources are dynamic, can be changed at runtime and are editable by multiple users at the same time. The custom resource managers, providers and ASP.NET Core StringLocalizers use the standard .NET resource infrastructure, so other than startup configuration there are no code changes when switching... -
19
Koa2 RESTful API
RESTful API Server
This is a lightweight RESTful API Server scaffolding based on Koa2, supporting ES6. Since the Koa version is upgraded to 2.3.0+, in order to match the corresponding dependencies, the Node.js version is required to be greater than or equal to v8.0.0 (v11.13.0 is recommended), and the NPM version is greater than or equal to v5.0.0. It is recommended to use yarn instead of npm. This scaffolding only installs some necessary plug-ins that do not conflict with Koa2 to build a RESTful API Server,... -
20
Piplin
Open source self-hosted continuous integration and deployment system
Piplin (inspired by "pipeline", pronounced /ˈpɪpˌlɪn/ or /ˈpaɪpˌlaɪn/) is a free, open-source continuous integration and deployment system suitable for various application scenarios related to the automated construction, testing and deployment of software. Support the construction, testing and release of projects such as PHP, Python, JAVA, Ruby, etc. Can be integrated with code hosting platforms such as Gitlab, Github, Gogs, Gitee (Oschina). Flexibility to configure custom build and... -
21
Lens Jekyll
A Jekyll theme for photographers and photo bloggers
A Jekyll website for photographers and photo bloggers. Lens is a photo gallery Jekyll theme designed especially for photographers and photo bloggers. Jekyll Lens uses Jekyll Static Site Generator (SSG) to generate the website and GitHub Pages to host it. -
22
Grumpy
Grumpy is a Python to Go source code transcompiler and runtime
Grumpy is a Python-to-Go transcompiler and runtime designed as a near drop-in replacement for CPython 2.7 that compiles Python source to Go, then to native code. Instead of executing Python bytecode in a VM, Grumpy translates modules into Go code that calls a Go runtime library emulating Python semantics, which can yield performance and deployment benefits in Go ecosystems. The approach integrates with Go’s toolchain, enabling static binaries and potentially easier distribution in environments where Go is already standard. ... -
23
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The project web site: http://abumpack.sf.net. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are... -
24
JILRuntime/JewelScript
An object-oriented script language to embed in any application
A general purpose, object-oriented script language that compiles into code for a register based virtual machine. The language is quite similar to object-oriented high-level languages like Java and C#. The library is entirely self-sufficient and ANSI C compliant. It's main purpose is to be embedded in any application to allow automation of that application through scripting. An integrated C++ binding code generator allows you to create bindings for your application's classes in seconds.... -
25
Elchemy
Write Elixir code using statically-typed Elm-like syntax
Elchemy lets you write simple, fast, and quality-type safe code while leveraging both the Elm's safety and Elixir's ecosystem. Elchemy is a set of tools and frameworks, designed to provide a language and an environment as close to Elm programming language as possible, to build server applications in a DSL-like manner for Erlang VM platform, with a readable and efficient Elixir code as an output. ML-like syntax maximizes expressiveness with additional readability and simplicity constraints....