Search Results for "static code analysis" - Page 3
Sort By:
277 projects for "static code analysis" with 2 filters applied:
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
pascal p5c
fast, portable Pascal compiler using gnu c as intermediate code
p5c is a fast portable iso standard pascal compiler. It is derived from the pascal p5 compiler and creates gnu c code instead of p-code. This makes it very fast since it uses gcc to generate native code. p5c is multi platform - it is easy to get up and running since you only need gcc to start. Using gcc enables extra tools like a static analyser and code coverage analyser. Execution profiling described in the blog here -> https://sourceforge.net/p/pascal-p5c/blog/2017/07/how-to-use-profiling-to-speed-up-p5c-pascal-programs It extends p5 by adding arbitrary set limits and conformant arrays. ... -
2
SCons
A software construction tool
SCons is a software construction tool that is a superior alternative to the classic "Make" build tool that we all know and love. SCons is implemented as a Python script and set of modules, and SCons "configuration files" are actually executed as Python scripts. This gives SCons many powerful capabilities not found in other software build tools. We make SCons available in three distinct packages, for different purposes. - The scons package is the basic package to install SCons. You... -
3
PASTE
An app for storing code, text & more. A popular Open Source pastebin.
Paste is a PHP application for storing code, text and more. DEMO: https://paste.boxlabs.uk/ Initially forked from the freely available source pastebin.com used before the domain was sold in 2010, lots of improvements have been included over the years such as user accounts and a featureful administration backend. See https://github.com/boxlabss/PASTE/blob/master/docs/CHANGELOG.md -
4
Yandex Music API
Non-official Python library for works with API service Index
This library provides Python interface for anyone undocumented and self-made API Yandex Music. It is compatible with Python 3.7 + and supports working with both synchronous and asyncio code. In addition to implementing a clean API, this library has a number of — high-level wrapping classes in order to make the development of customers and scripts simple and understandable. All documentation was written from scratch based on logical analysis during reverse development (reverse engineering) API. -
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.
-
5
NOTE THAT THE SOURCE CODE AND ISSUE TRACKER HAVE NOW MOVED TO GITHUB. FIND US AT https://github.com/GateNLP/ GATE (General Architecture for Text Engineering) is an architecture, framework and development environment for developing, evaluating and embedding Human Language Technology. See http://gate.ac.uk for full details.
-
6
Ftagshtml
FORTRAN and Fortran 90 HTML browsing with indexes.
Ftagshtml converts fortran code into HTML in order to browse and navigate in the call tree for any routine or abstract fortran 90 interface. Compatible with basic C analysis, mixing with fortran 77 and 90. -
7
Portable Webserver OS For Small Intranet
For Web Developers, Testers, Learners, End Users - Screenshots Below
Instructions: 1. Download & Extract the above zip file 2. Use the free Rescuezilla Software ( https://rescuezilla.com/ ) to restore this pen drive image, on to a 8 GB OR More Good EMPTY Pen Drive (Hint Below) 3. Restart the computer and quickly change the BIOS Boot Order, to boot from this written pen drive 4. Check the network tray icon on its desktop for ethernet / lan cable connectivity. If required, configure by clicking the eth0 button in it, for the first time, after... -
8
Statistical Rethinking 2023
Statistical Rethinking Course for Jan-Mar 2023
The 2023 edition modernizes and expands on the same curriculum, adjusting exercises and code for newer versions of R, Stan, and supporting packages. It continues to provide scripts for lectures and tutorials, while integrating refinements to examples, notation, and computational workflows introduced that year. Compared with 2022, some models are rewritten for clarity, and teaching materials reflect refinements in McElreath’s evolving presentation of Bayesian data analysis. ... -
9
Ring
Simple and flexible programming language for applications development
The Ring is a practical general-purpose multi-paradigm language. The supported programming paradigms are imperative, procedural, object-oriented, declarative using nested structures, functional, meta programming and natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is... -
Deploy Apps in Seconds with Cloud RunCloud Run is the fastest way to deploy containerized apps. Push your code in Go, Python, Node.js, Java, or any language and Cloud Run builds and deploys it automatically. Get fast autoscaling, pay only when your code runs, and skip the infrastructure headaches. Two million requests free per month. And new customers get $300 in free credit.
-
10
NanoH5 (tsl2nano)
java bean / database driven zero code application framework
NanoH5 (or FullRelation) is a fullstack UI implementation framework providing a model driven design (MDA). Build a complete html5 application through a given class- or database-model without coding (coding APIs are available). -
11
odaba
ODABA is an terminology-oriented database management system and develo
ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a... -
12
Gait Tracking With x-IMU
Foot tracking algorithm demonstrated in Seb Madgwick's 3D Tracking
...The algorithm was part of gait analysis research, estimating foot trajectories in 3D over time. The repo is marked “no longer maintained,” and has been superseded by newer versions of Gait-Tracking. Capability to compare walking trajectories in experiments. Integration of IMU data (accelerometer + gyroscope). -
13
A general purpose source code indexer and cross-referencer that provides web-based browsing of source code with links to the definition and usage of any identifier. Supports multiple languages. Up-to-date information in http://lxr.sourceforge.net
-
14
Kitten
A statically typed concatenative systems programming language
...The implementation targets efficient compiled code and investigates how advanced type systems can improve reliability in a stack-based language. As a research project, Kitten serves both as a language to experiment with and as a vehicle for ideas about safety and structure in concatenative programming. -
15
CARTOframes
CARTO Python package for data scientists
A Python package for integrating CARTO maps, analysis, and data services into data science workflows. Python data analysis workflows often rely on the de facto standards pandas and Jupyter notebooks. Integrating CARTO into this workflow saves data scientists time and energy by not having to export datasets as files or retain multiple copies of the data. Instead, CARTOframes give the ability to communicate reproducible analysis while providing the ability to gain from CARTO's services like hosted, dynamic or static maps and Data Observatory augmentation. -
16
Open source Algol 68 implementations
Implementations for the Revised Report language
This project offers open source implementations for UNESCO/IFIP's Algol 68 (the Revised Report language). The project offers two implementations: Implementation 1 is Algol68G: a recent checkout hybrid compiler/interpreter by Marcel van der Veer, supporting arbitrary arithmetic, partial parametrisation, complex numbers, POSIX threads, GNU plotutils, GNU scientific library, curses, sound, TCP sockets, RegEx and PostgreSQL. Inplementation 2 is algol68toc, a port by Sian Mountbatten... -
17
CSS Theme Change
Change CSS theme with toggle, buttons or select using CSS properties
...It can react to user toggles as well as automatically adapt to the user’s OS-level dark/light mode settings, helping developers build interfaces that feel modern and responsive without writing boilerplate theme code. Because it abstracts away cross-browser quirks and standardizes how CSS variables or classes are applied, it saves time and reduces bugs related to inconsistent theme behavior. It’s also modular and tiny in size, meaning it can be dropped into static sites, component libraries, or SPAs without significantly increasing bundle size. -
18
quantitative
Quantized transactions python3
The “quantitative” repository by Jack-Cherish is a tutorial-style codebase for quantitative trading written in Python — essentially a learning resource that guides users through building algorithmic trading strategies step by step. It’s organized as a sequence of lessons (lesson1, lesson2, etc.), making it approachable for learners who want to understand both theory and practice in quantitative finance. The repo is evidently tied to a popular video series (on Bilibili) that reportedly drew... -
19
state-threads
Lightweight thread library for C/C++ coroutine (similar to goroutine)
The State Threads Library is a small application library that provides a foundation for writing fast and highly scalable Internet applications (such as web servers, proxy servers, mail transfer agents, and so on) on UNIX-like platforms. -
20
AdaControl
Ada source code controller
A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns. -
21
starboard-notebook
In-browser literate notebooks
starboard-notebook is an in-browser literate notebook runtime that enables users to write, edit, and interact with computational documents directly in the browser without needing a traditional backend notebook server. The project is built around an innovative runtime that interprets code cells and markdown in a way that feels fluid and interactive, often bridging concepts from classical notebook tools with modern web technologies. Starboard notebooks support multiple languages, and the tooling emphasizes portability, making notebooks viewable and executable even on mobile devices or static sites. Because the runtime runs entirely inside the browser, it removes installation barriers and provides a sandboxed environment for exploration, learning, and sharing. ... -
22
Unified Code Generation
Open-source code generator for Simulink/Stateflow
This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) ... -
23
Statistical Rethinking 2022
Statistical Rethinking course winter 2022
This repository hosts the 2022 version of the Statistical Rethinking course. It contains course materials such as R scripts, notebooks, and worked examples aligned with McElreath’s textbook. The code emphasizes Bayesian data analysis using R, the rethinking package, and Stan models. It includes lecture code files, example datasets, and structured exercises that parallel the topics covered in the lectures (probability, regression, model comparison, Bayesian updating). The repo functions as a direct hands-on reference for students following the 2022 recorded lecture series. ... -
24
DataTables
Tables plug-in for jQuery
DataTables is a jQuery plugin that enhances HTML tables with powerful dynamic features such as searching, sorting, and pagination. It transforms plain static tables into interactive data explorers with minimal code changes. Developers can customize its behavior through an extensive API, adding export buttons, column visibility toggles, custom filters, and integration with remote data sources via Ajax. The plugin is modular, with a core that provides essentials and a wide range of extensions that cover advanced functionality like fixed headers, responsive layouts, and inline editing. ... -
25
NERD Commenter
Vim plugin for intensely nerdy commenting powers
NERD Commenter is a Vim plugin offering powerful and highly customizable commenting capabilities. It simplifies toggling comments, supports multiple styles and nesting, and integrates cleanly with various plugin managers. Several settings can be added to your vimrc to change the default behavior. While the plugin does not directly support motions, you can leverage its support for selections to do something very similar. You can turn off default settings mappings to provide your own from...
