GeezerVison is showing github.com — Polystat
Polystat is a polyglot experimental static analyzer, which 1) takes your source code written in Java/C++/Python/etc., 2) converts it to EOLANG , 3) then EO objects to 𝜑-calculus expressions, and then 4) tells you where are the bugs. This is a more or less complete White Paper .
If/when ready to help, just text us in Telegram: @polystat_org .
Pinned
Loading
Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and 𝜑-Calculus
TeX
34
8
Experimental Transpiler of Java Programs to EO Programming Language
Java
12
10
A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers
Python
16
5
Experimental Translator of Python Programs to EO Programming Language
Scala
8
5
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
C++
Java
Python
Scala
TeX
Sort
Showing 10 of 11 repositories
far
Public
Find-a-Reverse (FaR) analyzer module for Polystat
polystat/far's past year of commit activity
Java
5
MIT
1
8
11
Updated Nov 12, 2026
polystat
Public
Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and 𝜑-Calculus
polystat/polystat's past year of commit activity
TeX
34
MIT
8
19
11
Updated Nov 12, 2026
j2eo
Public
Experimental Transpiler of Java Programs to EO Programming Language
polystat/j2eo's past year of commit activity
Java
12
MIT
10
32
12
Updated Nov 12, 2026
c2eo
Public
Experimental Translator of C/C++ Programs to EO Programs
polystat/c2eo's past year of commit activity
py2eo
Public
Experimental Translator of Python Programs to EO Programming Language
polystat/py2eo's past year of commit activity
Scala
8
MIT
5
17
10
Updated Nov 12, 2026
odin
Public
Object Dependency Inspector
polystat/odin's past year of commit activity
Scala
10
MIT
2
4
16
Updated Nov 12, 2026
polystat-cli
Public
Command-line interface for Polystat static code analyzer
polystat/polystat-cli's past year of commit activity
Scala
6
MIT
3
8
13
Updated Nov 11, 2026
awesome-bugs
Public archive
A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers
polystat/awesome-bugs's past year of commit activity
Python
16
MIT
5
9
10
Updated Dec 10, 2025
clang-tidy-mistakes
Public
This is a collection of C/C++ code snippets where Clang Tidy produces either false positives or false negatives
polystat/clang-tidy-mistakes's past year of commit activity
C++
7
2
1
1
Updated May 19, 2023
j2ast
Public archive
Java to AST Parser
polystat/j2ast's past year of commit activity
Java
9
5
5
2
Updated Nov 2, 2022
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.