Search Results for "source code static anala" - Page 13
Sort By:
Showing 478 open source projects for "source code static anala"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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.
-
1
shadow-cljs
ClojureScript compilation made easy
shadow-cljs is a ClojureScript build tool designed with simplicity and modern JavaScript interoperability in mind. Distributed via npm, it handles compilation, hot-reloading, module targets (ESM, Node, Browser), and tight integration with JS tooling. Creating your project can be done quickly using the npx create-cljs-project utility. npx is part of npm and lets us run utility scripts quickly without worrying about installing them first. The installer will create a basic project scaffold and... -
2
ngrev
Tool for reverse engineering of Angular applications
...It allows you to navigate in the structure of your application and observe the relationship between the different modules, providers, and directives. The tool performs static code analysis which means that you don't have to run your application in order to use it. ngrev is not maintained by the Angular team. It's a side project developed by the open-source community. The application is not signed, so you may have to explicitly allow your mac to run it in System Preferences. You can add your own theme by creating a [theme-name].theme.json file in Electron [userData]/themes. ... -
3
ThinkTs
Based on koa and typeorm,asynchronous non blocking reactive coding
Based on koa and Typeform, asynchronous nonblocking reactive coding, and a real MVC web framework, inspired by [ThinkPHP + Nestjs + FastAPI], it is also the fastest development speed and fastest performance. -
4
PowerMock
Java framework that allows you to unit test code normally
Writing unit tests can be hard and sometimes good design has to be sacrificed for the sole purpose of testability. Often testability corresponds to good design, but this is not always the case. For example final classes and methods cannot be used, private methods sometimes need to be protected or unnecessarily moved to a collaborator, static methods should be avoided completely and so on simply because of the limitations of existing frameworks. PowerMock is a framework that extends other... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
Yesod
A RESTful Haskell web framework built on WAI
Yesod is a high-performance web framework for Haskell focused on enabling productive development of type-safe, RESTful web applications. It leverages Haskell's strong static typing, compile-time safety checks, Template Haskell, and domain-specific quasiquoters to ensure high reliability and performance. Safety & security guaranteed at compile time. Developer productivity: tools for all your basic web development needs. Raw performance, fast, compiled code. Techniques for constant-space... -
6
Simple HttpErrorPages
Simple HTTP Error Page Generator
Simple HTTP Error Page Generator. Create a bunch of custom error pages - suitable to use with Lighttpd, Nginx, expressjs, koans, Apache-Httpd, or any other Webserver. NGINX supports custom error-pages using multiple error_page directives. Apache Httpd 2.x supports custom error pages using multiple ErrorDocument directives. To customize the pages, you can edit any of the template files and finally run the generator-script. All generated HTML files are located in the dist/ directory by... -
7
progrep
Utility to show live progress, status & stats for running simulations
progrep is a command-line tool (Linux) to show live progress report, status & stats of a running simulation or compute job that executes a given number of iterations. It shows % completed, time remaining, time elapsed, number of threads, MPI_Rank(if any), CPU usage & speed (FPS). The FPS measures may be used in benchmarking, e.g. while optimizing HPC algorithms for performance. progrep supports both single-threaded and parallel (multicore/multinode - e.g. OpenMP/MPI) jobs. progrep can... -
8
RAP2-DELOS
Open source interface management tool
RAP2 is a new project redone based on RAP1. It can provide you with convenient interface document management, mock, export and other functions. It contains two components (corresponding to two Github Repository). This tool is a development tool, and the related API has not been subjected to any security verification such as XSS. Please do not rely on any service of RAP in the production environment!Install Docker and Docker Compose (Linux users need to install separately). It is recommended... -
9
vue-admin-template
A vue2.0 minimal admin template
vue-element-admin is a production-ready front-end solution for admin interfaces. It based on vue and use the UI Toolkit element-ui. It is a minimal vue admin template with Element UI, axios, iconfont, permission control, and lint. The current version is v4.0+ build on vue-cli. If you want to use the old version , you can switch branch to tag/3.11.0, it does not rely on vue-cli. If you want router permission && generate menu by user roles , you can use this branch permission-control. For... -
Our Free Plans just got better! | Auth0You 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 security. Auth0 now, thank yourself later.
-
10
Total.js framework
https://github.com/totaljs/framework
Total.js framework is a framework for Node.js platfrom written in pure JavaScript similar to PHP's Laravel or Python's Django or ASP.NET MVC. It can be used as web, desktop, service or IoT application. Total.js Platform offers you an excellent and stable server-side Node.js framework, client-side library for creating famous web applications with more than 250 UI components for free. The main parts of the Total.js Platform are fully open-source under MIT license. We offer excellent online... -
11
Python Handout
Turn Python scripts into handouts with Markdown and figures
Handout is a lightweight library for embedding rich, interactive components such as exercises, charts, and interactive diagrams directly into static documents like Markdown, Jupyter notebooks, or static HTML pages, enabling authors to create more engaging technical handouts, tutorials, and interactive essays. It’s particularly aimed at educators, presenters, and researchers who want to make their written material come alive with runnable demonstrations and interactive problem sets without... -
12
Code Surfer
Rad code slides
Code Surfer is a presentation tool for creating interactive code-focused slides in MDX Deck. It helps presenters explain code by adding highlighting, zooming, scrolling, focusing, and morphing between code states. The project is designed for technical talks, workshops, tutorials, and conference demos where static screenshots are not expressive enough. It lets authors wrap code blocks inside Code Surfer components and control how the audience moves through the code. This makes it easier to... -
13
imgcook
Generate pages from any sketch or images
imgcook is an ingenious chef who specializes in cooking with various images (Sketch / PSD / static images). it will intelligently generate front-end codes, including view codes, data-binding codes, component codes as well as part of business logic codes from different kinds of design documents. We are making imgcook a P5 front-end engineer who could improve the development efficiency and promote effective collaboration between front-end developers, designers and testers. The main functions... -
14
Pixel Art to CSS
Pixel art animation and drawing web app powered by React
Pixel Art to CSS is an online editor that helps you with that task. Combining the power of both box-shadow and keyframes CSS properties, you will get CSS code ready to use on your site. Furthermore, you can download your work in different formats such as static images, animated GIFs or sprite-like images. Pixel Art to CSS aims to be an intuitive tool by its simplicity, however, it is equipped with a wide range of features: customize your color palette, go back and forth in time, modify... -
15
ScaffCC
Compilation and optimization framework for the Scaffold language
ScaffCC is a compiler and scheduler for the Scaffold programing language. It is written using the LLVM open-source infrastructure. It is for the purpose of writing and analyzing code for quantum computing applications. ScaffCC enables researchers to compile quantum applications written in Scaffold to a low-level quantum assembly format (QASM), apply error correction, and generate time and area metrics. It is written to be scalable up to problem sizes in which quantum algorithms outperform... -
16
PasCop
Static code analysis for Freepascal
PasCop is a tool for static program analysis of Object Pascal source codes. It helps to comply with the principles of Clean Code Development and supports the developer in creating readable source code. -
17
React PWA
An upgradable boilerplate for Progressive web applications (PWA)
A highly scalable, Progressive Web Application foundation, boilerplate, with the best Developer Experience. Getting started with ReactPWA is very easy. It helps you create Progressive Web Apps easily. PWA is not the only option given to the developer, one can develop static sites with hash routing, enable/disable service workers, and also create a simple deployable application. Using ReactPWA you can create a Progressive web application with simple knowledge of React.JS. As we all know,... -
18
XSpear
Powerfull XSS Scanning and Parameter analysis tool&gem
XSpear is an XSS Scanner on ruby gems. Powerful XSS Scanning and Parameter analysis tool&gem. -
19
TypeScript Koa Starter
TypeScript Koa Starter
Koa with TypeScript's application generator. Creates a new typescript koa application. application is configured to use TypeScript instead of plain JavaScript. Node Js is great for the rapid development of web-projects, but is often neglected because of the lack of type safety. TypeScript solves this issue and (along with its linter file) can even make your code more robust than some other static languages like Java. -
20
HDL Checker
Repurposing existing HDL tools to help writing better code
HDL Checker is a language server that wraps VHDL/Verilg/SystemVerilog tools that aims to reduce the boilerplate code needed to set things up. It supports Language Server Protocol or a custom HTTP interface; can infer the library VHDL files likely to belong to, besides working out mixed language dependencies, compilation order, interpreting some compiler messages and providing some (limited) static checks. Notice that currently, the unused reports has caveats, namely declarations with the... -
21
GitHub Action to Sync S3 Bucket
GitHub Action to sync a directory with a remote S3 bucket
This simple action uses the vanilla AWS CLI to sync a directory (either from your repository or generated during your workflow) with a remote S3 bucket.As of v0.3.0, all aws s3 sync flags are optional to allow for maximum customizability (that's a word, I promise) and must be provided by you via args. --acl public-read makes your files publicly readable (make sure your bucket settings are also set to public). --follow-symlinks won't hurt and fixes some weird symbolic link problems that may... -
22
Browser diet
The definitive front-end performance guide
Browser diet is a community-driven front-end performance guide presented as a fun, colorful website that explains how to make web pages faster and “lighter.” It collects advice from experienced front-end developers and organizes it into practical sections covering HTML, CSS, JavaScript, images, server configuration, and general best practices. The project was built as a static site powered by DocPad, with content written in Markdown and translated into multiple languages, making it... -
23
RecNN
Reinforced Recommendation toolkit built around pytorch 1.7
This is my school project. It focuses on Reinforcement Learning for personalized news recommendation. The main distinction is that it tries to solve online off-policy learning with dynamically generated item embeddings. I want to create a library with SOTA algorithms for reinforcement learning recommendation, providing the level of abstraction you like. -
24
Static Site Boilerplate
A better workflow for building modern static websites
A better workflow for building modern static websites. Automated build processes, a local development server, production minification and optimizations, and the latest standards for static websites. Get up and running in seconds with the built-in development server. No need to have a pre-existing server installed on your machine to start developing. Your HTML, styles, and scripts will be automatically linked, concatenated, and minified for optimal loading speed in production. Write your CSS... -
25
Native File Dialog
Neat C library that portably invokes native file open and save dialogs
A tiny, neat C library that portably invokes native file open, folder select, and save dialogs. Write dialog code once and have it pop up native dialogs on all supported platforms. Avoid linking large dependencies like wxWidgets and qt. Tested, works alongside libsdl on all platforms, for the game developers out there.