A Python type checker
Repository Index
47,133 repositories indexed
25–42 of 42 · Most stars
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Ada semantic analysis library.
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
Static scope analysis and transpilation of ES6 block scoped const and let variables to ES3 vars
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
IGraph/M is the igraph interface for Mathematica
- igraph
- mathematica
- mathematics
- network-graph
A Lexical Analyzer Generator
- lexer
- lex
- lexical-analysis
- common-lisp
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Run DuckDB inside Excel VBA: pandas-style analytics via in-process SQL + native C bridge. High-speed Range/Array ingestion, Parquet/CSV/JSON I/O.
JVM runtime execution analysis - finds hot code paths by frequency, not CPU time
- asm
- bytecode
- code-coverage
- java
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
Incremental analysis in Ada
- ada
- syntax-analysis
- incremental
- parsing