“Know how to solve every problem that has been solved.” “What I cannot create, I do not understand.” — Richard Feynman

Knot by example

Real scientific programs in Knot, the numerical language from knotkit (a Rust compiler kit): a full Hartree–Fock SCF, FEM Poisson, reverse-mode autodiff, a flat-array mini-CAS. Each compiles to plain C — try them live in the playground, or download the generated .c and gcc it.

Read the writeup →

• autodiff_reverse.knot 114 lines · 3.3 KB • casida_tdhf.knot 910 lines · 28.2 KB • control.knot 31 lines · 455 B • fem_poisson.knot 166 lines · 4.2 KB • h2_sto3g.knot 818 lines · 25.4 KB • hchain_sto3g.knot 270 lines · 6.8 KB • meijer_g.knot 244 lines · 7.3 KB • scf_sto3g.knot 818 lines · 25.2 KB • skyrme_vb_chain.knot 515 lines · 17.6 KB • skyrme_vb_o16.knot 414 lines · 13.6 KB