symbolic-analysis

NeuroExpress patch clamp data analysis software

Customized symbolic analysis to find pointer analysis bugs

Neural network that has been trained to detect temporal correlation and distinguish chaotic from stochastic signals

This project aims to be a light-weight comprehensive tool for symbolic circuit analysis. It is primarily developed for the web-based simulator GEEC.

Bounded symbolic C# analysis platform for purity, invariants, runtime hazards, ownership/resource facts, and Z3-backed proofs.

Portable AI skill and Codex-compatible capability pack for traditional Chinese feng shui, wuxing, auspiciousness, spatial analysis, and cross-domain symbolic decision support.

Framework for logic auditing, symbolic tension, and epistemic resilience in language models

Preliminary analysis on how to extract performance measures by analyzing MIDI files.

Plataforma aberta para reconstrução simbólica da história esquecida da humanidade por meio de análise comparativa entre arqueologia, espiritualidade, mitos e canalizações. / Open platform for symbolic reconstruction of humanity’s forgotten history through comparative analysis of archaeology, spirituality, myths, and channelings.

Browser-based symbolic protocol analysis demo — Dolev-Yao 1983, Lowe 1995. Model the attacker as someone who owns the network but can't break crypto, then let a real search enumerate the attacks you didn't think of. It finds Lowe's Needham-Schroeder trace on its own. Audit every deduction. No backends. No simulated math.