Search Results for "static code analysis"

mypy is a static type checker for Python that analyzes source code without executing it, catching type errors early in development. It implements PEP 484-style type hints and supports gradual typing, allowing untyped or partially typed modules to coexist with statically typed code. The tool integrates with common editors and CI systems, and offers a daemon mode for fast, incremental checks across large codebases.

...Instead of manually opening and running a notebook inside JupyterLab or Notebook every time, Papermill lets you inject new values into a specially tagged parameters cell and execute the entire notebook automatically via a script or automation pipeline, which enables robust automation of data analysis, reports, and experiments. This capability is particularly useful in data science and analytics, where a template notebook might be reused for batching reports across dates, customers, or other variables without rewriting code or duplicating notebooks. Papermill supports both Python API usage and a command-line interface, making it flexible for integration with CI/CD systems, shells, and workflow orchestration tools like Airflow.

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

...The PHP version calls the OpenAI interface for question and answer, uses Stream flow mode communication, and produces while exporting. EventSource is used at the front end to support Markdown format analysis, and formula display, the code is colored. The UI on the page is concise and supports continuous conversations in the context. The source code has only a few files, no frame is used, all PHP versions are supported, all open source, and it is extremely easy to open. Nanny-level tutorials, all surrounding resources, welcome to communicate, everything is free. ...

...Handout supports embedding executable exercises where learners can type code, run it in place, and receive immediate feedback inline; it also integrates seamlessly with charting libraries so that data visualizations can be interactive rather than static. With customizable styling and extension hooks, authors can tailor the interactive elements to match the look and feel of their content.

Psygraph is a Personal Data Collector (PDC) and activity timer. It includes a stopwatch, timer, counter, and note taker (voice recorder), each of which collects data from the device’s sensors (e.g. the device velocity and location (via GPS)). Although the interface is simple (a button or two on each screen), the data is saved for later analysis and display (you can store and view the data on WordPress). It is a scientific instrument that is easy to use. It makes an excellent general-purpose...

...By leveraging SMT (Satisfiability Modulo Theories) solvers, Souper symbolically analyzes LLVM Intermediate Representation (IR) to synthesize equivalent, more efficient expressions. It identifies peephole optimizations—small instruction-level improvements—that LLVM’s optimizer may overlook, thereby improving compiled code quality. Souper can operate in multiple modes: as a standalone analysis tool that extracts and solves SMT queries from LLVM bitcode, or as an LLVM optimization pass that applies discovered optimizations directly to the IR. It integrates seamlessly with Clang and LLVM tools and supports caching mechanisms (RAM or Redis) to accelerate repeated analyses. ...

Zen Moment is a minimalist meditation and breathing practice tool designed to make mindfulness accessible to everyone. Built with modern web technologies and optimized for performance across all devices, this application provides a clean, distraction-free environment for meditation practice. Key features include a precise meditation timer supporting 1-999 minute sessions with multiple presets, guided 4-7-8 breathing exercises based on Dr. Weil's proven relaxation technique, and an...