LICENSE
README.md
pyproject.toml
examples/README.md
examples/__init__.py
examples/audio_pole_refined.eml
examples/clamp_bounded.eml
examples/damped_wave.eml
examples/exponential_decay.eml
examples/gaussian.eml
examples/hello.eml
examples/lerp.eml
examples/pid_controller.eml
examples/quadratic.eml
examples/rc_filter.eml
examples/sigmoid.eml
examples/sine_oscillator.eml
examples/smoothstep.eml
examples/verified_add.eml
examples/voltage_divider.eml
examples/photonics/inference/photonic_transformer_sim.py
examples/photonics/inference/tolerance_spec_sheet.py
hardware/allocator/__init__.py
hardware/allocator/allocator.py
hardware/allocator/precision_selector.py
hardware/hdl_gen/__init__.py
hardware/hdl_gen/chisel_backend.py
hardware/hdl_gen/qformat.py
hardware/hdl_gen/systemverilog_backend.py
hardware/hdl_gen/verilog_backend.py
hardware/hdl_gen/vhdl_backend.py
hardware/modules/README.md
hardware/modules/__init__.py
hardware/modules/eml_operators/eml_node.v
hardware/modules/transcendental/eml_acos.v
hardware/modules/transcendental/eml_asin.v
hardware/modules/transcendental/eml_atan.v
hardware/modules/transcendental/eml_cos.v
hardware/modules/transcendental/eml_cosh.v
hardware/modules/transcendental/eml_exp.v
hardware/modules/transcendental/eml_ln.v
hardware/modules/transcendental/eml_sin.v
hardware/modules/transcendental/eml_sinh.v
hardware/modules/transcendental/eml_sqrt.v
hardware/modules/transcendental/eml_tan.v
hardware/modules/transcendental/eml_tanh.v
hardware/simulation/verilator_sim.py
hardware/targets/asic/sky130.py
hardware/targets/intel/cyclone10.py
hardware/targets/lattice/ecp5.py
hardware/targets/lattice/ice40.py
hardware/targets/xilinx/artix7.py
lang/fingerprint/__init__.py
lang/fingerprint/compute.py
lang/fingerprint/embed.py
lang/fingerprint/fingerprint.schema.json
lang/fingerprint/shape_class.py
lang/fingerprint/shape_classes_v1.json
lang/lint/__init__.py
lang/lint/transcendental.py
lang/loader/__init__.py
lang/loader/resolver.py
lang/optimizer/__init__.py
lang/optimizer/constant_folding.py
lang/optimizer/cse.py
lang/optimizer/fusion.py
lang/optimizer/inliner.py
lang/optimizer/ml_routing.py
lang/optimizer/superbest.py
lang/optimizer/tree_shaker.py
lang/parser/__init__.py
lang/parser/ast_nodes.py
lang/parser/errors.py
lang/parser/lexer.py
lang/parser/parser.py
lang/parser/type_checker.py
lang/profiler/__init__.py
lang/profiler/ast_to_sympy.py
lang/profiler/dynamics.py
lang/profiler/eml_interpreter.py
lang/profiler/profiler.py
lang/profiler/sympy_to_ast.py
lang/refinements/__init__.py
lang/refinements/ast.py
lang/refinements/auto_splice.py
lang/refinements/check.py
lang/refinements/entail.py
lang/refinements/error.py
lang/safety/__init__.py
lang/safety/check.py
lang/spec/EML_LANG_DESIGN.md
lang/spec/SPEC.md
lang/spec/__init__.py
lang/spec/grammar/__init__.py
lang/spec/grammar/eml_lang.g4
lang/spec/grammar/lexer_rules.g4
lang/spec/grammar/examples/arrhenius.eml
lang/spec/grammar/examples/bessel_fm.eml
lang/spec/grammar/examples/hello.eml
lang/spec/grammar/examples/kalman.eml
lang/spec/grammar/examples/motor_control.eml
lang/spec/grammar/examples/motor_foc.eml
lang/spec/grammar/examples/orbit.eml
lang/spec/grammar/examples/pid_basic.eml
lang/spec/grammar/examples/pid_nonlinear.eml
lang/spec/grammar/examples/sigmoid.eml
lang/spec/grammar/examples/trajectory.eml
lang/spec/stdlib/STDLIB.md
lang/spec/stdlib/__init__.py
lang/spec/stdlib/constants.eml
lang/spec/stdlib/control.eml
lang/spec/stdlib/linalg.eml
lang/spec/stdlib/math.eml
lang/spec/stdlib/ml.eml
lang/spec/stdlib/signal.eml
lang/spec/types/TYPES.md
lang/spec/types/__init__.py
lang/spec/types/chain_order_types.md
lang/spec/types/domain_types.md
lang/spec/types/precision_types.md
lang/unit_types/__init__.py
lang/unit_types/check.py
lang/unit_types/diagnostics.py
lang/unit_types/infer.py
lang/unit_types/resolver.py
lang/unit_types/unit.py
lang/zkproof/__init__.py
lang/zkproof/circuit.py
lang/zkproof/plonky2_runner.py
lang/zkproof/prover.py
monogate_forge.egg-info/PKG-INFO
monogate_forge.egg-info/SOURCES.txt
monogate_forge.egg-info/dependency_links.txt
monogate_forge.egg-info/entry_points.txt
monogate_forge.egg-info/requires.txt
monogate_forge.egg-info/top_level.txt
software/backends/__init__.py
software/backends/aadl_backend.py
software/backends/ada_backend.py
software/backends/autosar_backend.py
software/backends/c_backend.py
software/backends/cpp_backend.py
software/backends/csharp_backend.py
software/backends/gdscript_backend.py
software/backends/glsl_backend.py
software/backends/go_backend.py
software/backends/hlsl_backend.py
software/backends/java_backend.py
software/backends/javascript_backend.py
software/backends/kicad_backend.py
software/backends/kotlin_backend.py
software/backends/llvm_backend.py
software/backends/luau_backend.py
software/backends/matlab_backend.py
software/backends/metal_backend.py
software/backends/python_backend.py
software/backends/ros2_backend.py
software/backends/rust_backend.py
software/backends/solidity_audit.py
software/backends/solidity_backend.py
software/backends/solidity_foundry.py
software/backends/solidity_gas.py
software/backends/solidity_prbmath.py
software/backends/solidity_spec.py
software/backends/solidity_trig.py
software/backends/spice_backend.py
software/backends/swift_backend.py
software/backends/wasm_backend.py
software/backends/wgsl_backend.py
software/manufacturing/__init__.py
software/manufacturing/jlcpcb_mapper.py
software/verification/__init__.py
software/verification/coq/__init__.py
software/verification/coq/coq_backend.py
software/verification/coq/obligation_emit.py
software/verification/coq/refinement_emit.py
software/verification/isabelle/__init__.py
software/verification/isabelle/isabelle_backend.py
software/verification/isabelle/obligation_emit.py
software/verification/isabelle/refinement_emit.py
software/verification/lean/LeanBackend.py
software/verification/lean/discovered_emit.py
software/verification/lean/obligation_emit.py
software/verification/lean/refinement_emit.py
software/verification/safety/__init__.py
software/verification/safety/lean_emit.py
software/verification/safety/safety_backend.py
tools/forge_graph.py
tools/benchmarks/__init__.py
tools/benchmarks/dashboard.py
tools/benchmarks/regen_baselines.py
tools/benchmarks/snapshot.py
tools/cli/_ed25519_verify.py
tools/cli/audit.py
tools/cli/cost_aware.py
tools/cli/explain.py
tools/cli/fingerprint_corpus.py
tools/cli/fingerprint_publish.py
tools/cli/generate_tests.py
tools/cli/grow_room_demo.py
tools/cli/init_cmd.py
tools/cli/live_counts.py
tools/cli/log_witness.py
tools/cli/main.py
tools/cli/manpage.py
tools/cli/repl.py
tools/cli/zk_log_verify.py
tools/cli/zk_prove.py
tools/cli/zk_verify.py
tools/equivalence/__init__.py
tools/equivalence/c_runner.py
tools/equivalence/harness.py
tools/equivalence/lean_runner.py
tools/equivalence/python_runner.py
tools/equivalence/rust_runner.py
tools/external_lint/__init__.py
tools/external_lint/base.py
tools/external_lint/verilog.py
tools/fmt/__init__.py
tools/fmt/formatter.py
tools/ide/lsp/__init__.py
tools/ide/lsp/server.py
tools/ide/lsp/workspace.py
tools/license/__init__.py
tools/license/issuer.py
tools/license/verifier.py
tools/scripts/audit_sweep.py
tools/scripts/auto_prove.py
tools/scripts/build_free_wheel.py
tools/scripts/regen_discovered.py