Notebooks & Tutorials

From first spike to proven silicon. Seven notebooks run right here in your browser — with live plots, tables and results — and the full series is available with source access.

Run on this page

Executed against the current library and rendered with their outputs — pick one and read it inline, plots and all.

01 · HDC symbolic query Open full page ↗
Run the quickstart in Google Colab — zero install Back to the SC-NeuroCore hub

The full series

Forty-eight numbered notebooks plus the Colab quickstart, in progressive difficulty. The seven above run inline; the rest are available with source access.

Quickstart

01
HDC Symbolic Query
02
Fault-Tolerant Logic
03
End-to-End Pipeline
Complete SC inference: bitstream encode → AND-gate synapses → popcount → LIF neuron → multi-neuron layer
04
Neuron Explorer
Interactive exploration of 117+ models: voltage traces, spike rasters, phase portraits, F-I curves

Intermediate

05
NIR Bridge
06
Network Engine
07
Identity Substrate
08
Equation to Verilog
09
Topology & Dynamics
10
Spike Train Analysis

Advanced

11
Biological Circuits
12
Learning Rules
13
Quantisation Pipeline
14
SC Arithmetic Theory
15
Fault Tolerance
16
Neuron Atlas
17
Reservoir Computing
18
Mixed Precision SC
19
Compression & Pruning
20
Power Analysis

Specialist

21
Spike ALU (Turing-Complete)
22
IR Type Safety
23
Topological Observables
24
Identity Lazarus
25
Cortical Column Dynamics
26
Spike Codec Benchmark
27
Python to Proven Silicon
Complete: ODE string → Python sim → IR type check → Q8.8 Verilog → formal verification → resource estimate
28
Domain Bridge (Quantum + Probabilistic)

Evidence & Readiness

29
Golden Path Evidence
30
SHD Vertex Deployable Evidence
31
Balanced Resonate-and-Fire Evidence
32
Posner IBM Readiness Evidence
33
HIL Digital Twin Evidence
34
Industrial Readiness Evidence
35
BCI Closed-Loop Evidence
36
Fault Resilience Evidence
37
Neuro-Symbolic Self-Verification Evidence
38
Formal SNN Verification Standard Evidence
39
Self-Hosted Hub Evidence
40
Zenith BCI Loop Evidence

30 Python Examples

01_basic_sc_encoding.py
02_sc_neuron_layer.py
03_ir_compile_demo.py
04_vectorized_layer.py
05_scpn_stack.py
06_hdl_generation.py
07_ensemble_consensus.py
08_hdc_symbolic_query.py
09_safety_critical_logic.py
10_benchmark_report.py
11_sc_training_demo.py
12_load_pretrained_model.py
14_bioware_closed_loop_demo.py
15_photonic_compilation_demo.py
16_evo_substrate_demo.py
ann_to_snn_demo.py
codec_benchmark.py
codec_benchmark_realistic.py
codec_benchmark_suite.py
delay_training_demo.py
demo_waveform_codec.py
jax_training_demo.py
mnist_conv_train.py
nir_roundtrip_demo.py
norse_nir_roundtrip.py
power_comparison.py
snntorch_nir_roundtrip.py
spikingjelly_nir_roundtrip.py
train_mnist.py
zenith_hybrid_resnet.py