Skip to content
#

automaton-theory

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Rust 1 Shell 1

jery04 / HULK-Compiler

Star 1

⚙️ A compiler for the HULK (Havana University Language for Kompilers) language that forges source code into executable artifacts through a full pipeline: lexing, parsing, and type checking. It features a modular architecture and custom language extensions.

c rust parser compiler finite-state-machine scope type-inference finite-state-machines abstract-syntax-tree finite-automata ll1-parser lexer-analyzer language-programming automaton-theory parser-tree
  • Updated Jun 22, 2026
  • Rust

obinexus / cfd

Star 0

CFD - Probabilistic Symbolic Feedback Architecture for Computational Fluid Dynamics Verification through Automaton-Based Base Case Analysis. OBINexus Computing Aegis Project milestone addressing Clay Institute-level mathematical challenges in CFD stochastic chaos through equilibrium wave configuration verification.

navier-stokes computational-fluid-dynamics mathematical-modeling linear-bounded-automaton waterfall-methodology automaton-theory trust-modulation verification-framework obinexus-computing cfd-verification base-case-analysis equilibrium-detection obiaxis-research stochastic-chaos probabilistic-feedback clay-institute-problems graduated-collision-response sinphase-governance nasa-std-compliance
  • Updated Jun 7, 2025

Improve this page

Add a description, image, and links to the automaton-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the automaton-theory topic, visit your repo's landing page and select "manage topics."

Learn more