Dusa Programming Language (Finite-Choice Logic Programming) (dusa.rocks) | HN Screenshots

YHacker Newsscreenshots

Screenshot of dusa.rocks: Dusa Programming Language (Finite-Choice Logic Programming)

First screen, captured 1 year ago.

Looks similar

Screenshot of jax.readthedocs.io: Pytrees

Pytrees (jax.readthedocs.io)

119 points by f_devd 3 years ago | 10 comments

Screenshot of hegel.dev: Hegel, a universal property-based testing protocol and family of PBT libraries

Hegel, a universal property-based testing protocol and family of PBT libraries (hegel.dev)

121 points by PaulHoule 6 months ago | 33 comments

Screenshot of jax.readthedocs.io: JAX – NumPy on the CPU, GPU, and TPU

JAX – NumPy on the CPU, GPU, and TPU (jax.readthedocs.io)

234 points by peter_d_sherman 3 years ago | 129 comments

Screenshot of docs.jax.dev: Defining new Jax types with hijax

Defining new Jax types with hijax (docs.jax.dev)

11 points by fhchl 3 months ago | 2 comments

Screenshot of deborahwrites.com: Docs like code in basic terms

Docs like code in basic terms (deborahwrites.com)

57 points by DeborahWrites 1 year ago | 45 comments

Screenshot of hurl.wtf: Hurl, the Exceptional Language

Hurl, the Exceptional Language (hurl.wtf)

291 points by todsacerdoti 2 years ago | 116 comments