Results for “Flo”

MathOverflow

for professional mathematicians

TuneFlow

a next-gen DAW that helps you generate melody, beats, or a whole song, while still being able to edit them.

Spine

Spine is dedicated to 2D animation, providing an efficient workflow both for creating amazing animation and for integrating it into your games.

Android TensorFlow Machine Learning Example

Android TensorFlow Machine Learning Example

Sequences for Flow Based Reconstruction

synthetic sequence for testing structure from motion algorithms (Formats: pgm)

Corelan Team's Exploit writing tutorial

Corelan Team's Exploit writing tutorial

How to Hack Like a Pornstar

A step by step process for breaking into a BANK, Sparc Flow, 2017

sagan

Sagan uses a 'Snort like' engine and rules to analyze logs (syslog/event log/snmptrap/netflow/etc).

actionlint

Static checker for GitHub Actions workflow files. Provides an online version.

Seqra

Security-focused static analyzer for Java and Kotlin web applications. Analyzes bytecode with Semgrep-style YAML rules and CodeQL-grade dataflow (with first-class Spring support) to find vulnerabilities that source-only scanners miss.

CodeQue

Ecosystem for structural matching JavaScript and TypeScript code. Offers search tool that understands code structure. Available as CLI tool and Visual Studio Code extension. It helps to search code faster and more accurately making you workflow more effective. Soon it will offer ESLint plugin to create your own rules in minutes to help with assuring codebase quality.

CodeFlow

copyright: — Automated code analysis tool to deal with technical depth. Integrates with Bitbucket and Gitlab. (free for Open Source Projects)

TrustInSoft Analyzer

copyright: — Exhaustive detection of coding errors and their associated security vulnerabilities. This encompasses a sound undefined behavior detection (buffer overflows, out-of-bounds array accesses, null-pointer dereferences, use-after-free, divide-by-zeros, uninitialized memory accesses, signed overflows, invalid pointer arithmetic, etc.), data flow and control flow verification as well as full functional verification of formal specifications. All versions of C up to C18 and C++ up

Goblint

A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.

Astrée

copyright: — Astrée automatically proves the absence of runtime errors and invalid con­current behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding rules and supports qualification for ISO 26262, DO-178C level A, and other safety standards. Jenkins and Eclipse plugins are available.

CloudSlang

Flow-based orchestration tool for managing deployed applications, with Docker capabilities. ([Source Code](https://github.com/CloudSlang/score)) `Apache-2.0` `Java`

Factor

Programmatically define and run workflows to connect configuration management, source code management, build, continuous integration, continuous deployment and communication tools. ([Source Code](https://github.com/factor-io/factor)) `MIT` `Ruby`

avalanche

Framework for building the foundation for a package based CSS workflow.

GMP

A C library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating-point numbers. [LGPL3 & GPL2]

RaftLib

The RaftLib C++ library, streaming/dataflow concurrency via C++ iostream-like operators. [Apache2]