Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
Repository Index
68,261 visible repositories in the index
1–6 of 6 · Most stars
A better Python REPL
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
immutable primitive array/NonEmptyArray wrapper for Scala
- data-structures
- scala
- primitive-arrays
- scala-js
Refinement and functional value types for Java 8+
- functional-programming
- java
- java8
- maven-central
A programming language that utilizes long-term storage for space consumption