scripts · monad · Tangled

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org

dependent-types language compiler programming-language functional-programming

monad scripts

2 folders · 45 files

anders.sorby.xyz · ci: build and test the website mote · 16h ago

ci: a nightly matrix, and one release job

weaver-tui-repro

pty: rename the mty mote back to pty

bench-warm-recheck.sh

motes: pin the map carrier the class default was silently picking

bootstrap-compile.sh

ci: build nothing monad-rs-based in the nightly release

docs: preview the site with moon static

build-oak-ui-book.sh

ci: build, smoke-test and run the oak_ui suites

build-self-hosted.sh

codegen: wire the new mote into manifests, build and docs

docs/site: build monad-lang.org with acorn

bump-nightly-pin.sh

scripts: add the nightly pin bump tool and its tests

check-commit-msg.sh

repo: allow fixup commits, and name the workspace members

docs/site: build monad-lang.org with acorn

check-external-mote.sh

packaging: inherit shared workspace dependencies

cli/fmt: add monad fmt and the formatting ratchet

check-install.sh

weaver/tui: fix resize, wrapping, selection, and dialogs; add monad install

check-lang-no-codegen.sh

codegen: rewrite imports and publish the new mote surface

check-monad-tests.sh

codegen: wire the new mote into manifests, build and docs

check-monadup.sh

packaging: inherit shared workspace dependencies

check-nightly-gate.sh

docs/site: build monad-lang.org with acorn

check-nightly-pin.sh

scripts: add the nightly pin bump tool and its tests

cli: add a monad repl command

check-runtime-threads.sh

runtime: add the thread-safety stress gate

web/try: add the browser REPL at monad-lang.org/try

check-wasm-target.sh

ci: build, smoke-test and run the oak_ui suites

ci-compiler-checks.sh

codegen: guard against lang importing the backend

ci-compiler-relevant.sh

ci: build and test the website mote

ci-cpu-budget.sh

nix/packages: move the dev shell's package list out of devenv.nix

ci-flake-relevant.sh

build/ci: the motes cli imports are compiler inputs

ci: drop the monad-rs package legs, keep cargo build/test

ci-self-compile.sh

docs/site: build monad-lang.org with acorn

ci-weaver-pty.sh

pty: rename the mty mote back to pty

debug-oracle.sh

build/ci: the motes cli imports are compiler inputs

fmt-ratchet.txt

runtime: format the mote and add it to the ratchet

web/try: add the browser REPL at monad-lang.org/try

scripts: default the golden-IR oracle to the self-hosted monad

mark-cross-mote-exports-pub.py

lang/scope: enforce priv, and warn on cross-mote package-private

migrate-use-separator.py

lang/parser: use `::` in use paths, and `lib::` within a mote

ci: verify portability, checksums, and the scaffold

nightly-release.sh

nix: host the nightly release's rung 1 on the pinned previous nightly

open-nightly-pin-pr.sh

scripts: add the nightly pin bump tool and its tests

push-to-cache.sh

nix/packages: move the dev shell's package list out of devenv.nix

replay-lsp-session.sh

lsp: answer textDocument/formatting with monad fmt

self-compile-turn.sh

scripts: raise the stack in a descending ladder, and share the one definition

stage-mote-sources.sh

codegen: wire the new mote into manifests, build and docs

style_metrics.py

rust: move the host workspace into rust/

style-baseline.txt

scripts: re-freeze the style baseline after the #[partial] cleanup

style-metrics.sh

scripts: fail the style ratchet on a missing key, and say it is not wired

sync-install.sh

docs/site: build monad-lang.org with acorn