1081 Open source projects that are alternatives of or similar to Stoat

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

SeaHorn Verification Framework

DEPRECATED. USE INSTEAD github.com/blockspacer/flextool

OCCAM: Object Culling and Concretization for Assurance Maximization

Dominator Tree LLVM Pass to Test Satisfiability

C++ compile-time programming (serialization, reflection, code modification, enum to string, better enum, enum to json, extend or parse language, etc.)

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

A LLVM-based static analysis framework.

A realtime visual programming language for interactive media.

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Bringing clang-tidy magic to Visual Studio C++ developers.

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

Program analysis playground for a simple, imperative language

A Speculation-Aware Collaborative Dependence Analysis Framework

ClangKit provides an Objective-C frontend to LibClang. Source tokenization, diagnostics and fix-its are actually implemented.

Static Value-Flow Analysis Framework for Source Code

Realtime data exchange platform for Smart Cities

EDSL for C++ to make just-in-time code generation easier

DEPRECATED

Demo app with Django Channels to control Lights over websockets. Made for PyStPete meetup(https://www.meetup.com/Saint-Petersburg-Python-Meetup/).

Gui application to monitor postgres database events in real time

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

CodiMD - Realtime collaborative markdown notes on all platforms.

Real-time PathTracing with global illumination and progressive rendering, all on top of the Three.js WebGL framework. Click here for Live Demo: https://erichlof.github.io/THREE.js-PathTracing-Renderer/Geometry_Showcase.html

A data aware UI components library for building realtime maps

based on llvm 5.0.1 release with ollvm

Plot live-stats as graph from ApacheSpark application using Lightning-viz

Vulnerability Static Analysis for Containers

A modern vSphere Client

LLVM, clang, ninja, dyld and others.

Realtime raytracer using SIMD on ARM, MIPS, PPC and x86

PHP Implementation of the VS Code Language Server Protocol 🆚↔🖥

deepstream.io server

Benchmarking tool to stress real-time protocols

Create a heatmap for Real time China stocks price by Tushare's data

An open-source chart and map framework for realtime data.

High-level library for executable binary file analysis

💥 Lightweight, fast and powerful framework for building scalable WebSocket applications in Node.js

Financial News Aggregator - Real Time & Query API for Financial News

Get real-time UI updates in Blazor apps and 10-1000x faster API responses with a novel approach to distributed reactive computing. Fusion brings computed observables and automatic dependency tracking from Knockout.js/MobX/Vue to the next level by enabling a single dependency graph span multiple servers and clients, including Blazor apps running in browser.

An open format definition for static analysis tools

The Convergence Server

Minimal Realtime OS for Cortex-M0

Slack clone using VueJS and firebase

Docker image that provides static analysis tools for PHP

programming language compiler w/ llvm

Compiler for a toy Lisp language

DATuner Repository

Port of http_parser to llparse

通过issue和README来记录日常学习研究笔记 关注 机器学习系统，深度学习， LLVM，性能剖视， Linux操作系统内核 话题 关注 C/C++. JAVA. Python. Golang. Chisel. 编程语言话题 ( Writing Blogs using github issue and markdown! (inculding Machine Learning algs and system, LLVM, Linux kernel, java, python, c++, golang)

A statically-typed strictly-evaluated garbage-collected readable programming language.

a Compileable statically typed Functional programming Language

Woboq CodeBrowser

LLVM port to the GBZ80 CPU

The LLVM-based D Compiler.