Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Tajs	126	4 years ago	6	apache-2.0	Java
Type Analyzer for JavaScript
Blaze	34	3 months ago		bsd-2-clause	Haskell
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Progge.rs	24	2 years ago		other	Rust
Program analysis playground for a simple, imperative language

Alternatives To Blaze

Select To Compare

Tajs ⭐ 126

Type Analyzer for JavaScript

most recent commit 4 years ago

Blaze ⭐ 34

A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.

most recent commit 3 months ago

Progge.rs ⭐ 24

Program analysis playground for a simple, imperative language

most recent commit 2 years ago

Suggest An Alternative To blaze

Alternative Project Comparisons

Blaze vs Tajs

Blaze vs Progge.rs

Popular Type Checking Projects

Closure Compiler ⭐ 7,175

A JavaScript checker and optimizer.

dependent packages 180total releases 135latest release November 13, 2023most recent commit 3 months ago

Ts Toolbelt ⭐ 6,011

👷 TypeScript's largest type utility library

dependent packages 973total releases 928latest release March 10, 2021most recent commit a year ago

Ow ⭐ 3,740

Function argument validation for humans

dependent packages 457total releases 44latest release January 26, 2023most recent commit 10 months ago

Thinc ⭐ 2,774

🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

dependent packages 67total releases 229latest release September 22, 2023most recent commit 3 months ago

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

most recent commit 5 years ago

Popular Program Analysis Projects

X64dbg ⭐ 42,376

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

most recent commit 4 months ago

Pyre Check ⭐ 6,606

Performant type-checking for python.

dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months ago

Detect It Easy ⭐ 6,155

Program for determining types of files for Windows, Linux and MacOS.

most recent commit 3 months ago

Cpplinks ⭐ 3,862

A categorized list of C++ resources.

most recent commit 3 months ago

Mythril ⭐ 3,716

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

dependent packages 7total releases 310latest release November 19, 2023most recent commit 2 days ago

Popular Compilers Categories