Results for “Focus”

Derivative Calculus Solver

A step-by-step differentiation tool focusing on the chain rule and substitution logic.

DICOM Web Viewer

JavaScript/HTML5-based DICOM viewer with standard tools and a focus on supporting various screen sizes.

LibreHealth EHR

Clinically-focused Electronic Health Record System.

Solar2D

A Lua based game engine with focus on ease of iterations and usage.

LDtk

LDtk is an open-source 2D level editor for indie devs, with a strong focus on user-friendliness.

terraform-compliance

A lightweight, compliance- and security focused, BDD test framework against Terraform.

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.

Roslyn Security Guard

Project that focuses on the identification of potential vulnerabilities such as SQL injection, cross-site scripting (XSS), CSRF, cryptography weaknesses, hardcoded passwords and many more.

Mobb

copyright: — Mobb is a trusted, automatic vulnerability fixer that secures applications, reduces security backlogs, and frees developers to focus on innovation. Mobb is free for open-source projects.

ezno

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance. Ezno's type checker is built from scratch. The checker is fully compatible with TypeScript type annotations and can work without any type annotations at all.

squawk

Linter for PostgreSQL, focused on migrations. Prevents unexpected downtime caused by database migrations and encourages best practices around Postgres schemas and SQL.

pylyzers

A static code analyzer / language server for Python, written in Rust, focused on type checking and readable output.

Mariana Trench

Our security focused static analysis tool for Android and Java applications. Mariana Trench analyzes Dalvik bytecode and is built to run fast on large codebases (10s of millions of lines of code). It can find vulnerabilities as code changes, before it ever lands in your repository.

elm-review

Analyzes whole Elm projects, with a focus on shareable and custom rules written in Elm that add guarantees the Elm compiler doesn't give you.

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.

Darcs

Cross-platform version control system, like git, mercurial or svn but with a very different approach: focus on changes rather than snapshots. ([Source Code](https://darcs.net/releases/)) `GPL-2.0` `Haskell`

Citrus

Integration testing framework that focuses on both client- and server-side messaging.

Apache Mahout

Scalable algorithms focused on collaborative filtering, clustering and classification.

SnapCode

Modern IDE for Java running in the browser, focused on education.

Apache HttpComponents

Toolset of low-level Java components focused on HTTP and associated protocols.