GoKawiilJacquard
Jacquard is a FriendMachine research project for running, reviewing, simulating, and trusting programs written by models and reviewed by people. Start with the human-friendly introduction to Jacquard.
Concretely, it is a small programming language with a compact .jac surface syntax, an OCaml checker and CPS interpreter, a C-emitting native AOT backend that currently compiles the kernel .jqd carrier, a command-line tool, a Jacquard-written standard library, and a test framework called Warp. Version 0.1 works end to end but is a research prototype, not a production language; docs/release/0.1/LIMITS.md is the honest boundary.
Install the 0.1 release candidate without OCaml or opam:
curl -fsSL https://raw.githubusercontent.com/jbwinters/jacquard-lang/jacquard-core-0.1-rc3/scripts/install.sh | sh ~ /.local/bin/jac run ~ /.local/share/jacquard/demos/basics/m1-fact.jac
The expected output is 120 . Linux x86-64, macOS Intel, and macOS Apple Silicon binaries are published; development from source is documented below.
Then run one policy under concrete and probabilistic telemetry worlds, followed by sampled and exhaustive Warp checks:
sh ~ /.local/share/jacquard/demos/case-studies/release-risk/run.sh
For Humans
Most languages tell you what a program computes. Jacquard also exposes which effects it may perform, finite discrete uncertainty, and canonical program identity. Tools can inspect all three because they live in the language rather than only in comments, logs, or your memory of the codebase.
... continue reading