Hi Jannke, On 2026-02-09 at 10:41+01:00, Janneke Nieuwenhuizen wrote: > Nguyễn Gia Phong writes: > > - auto*, build-tools > > - benchmark > > - bison, oyacc, maybe merged as yacc, and re2c > > - check and *-check (*) > > - code > > - ci (core) and task-runner (sysadmin), > > see also https://codeberg.org/guix/guix/issues/3096 for merging them > > - coq (ocaml), lean (science) and logic stuff in maths (science) > > - debug and libunwind > > - hexedit, text-editors and tree-sitter (emacs) > > Nice! I'm already taking care of > > - NYACC (C99 pre-processor and parser for Guile) > - Mes (including MesCC - a C99 compiler for Guile) > - mCRL2 (formal specification language and tooling) > - SCMackerel (C, C++, mCRL2 code generation for Guile) > - Dezyne (component-based language and tooling including model > checking, written in Guile) > > whenever BLUE (a build system/autotools replacement written in Guile) > https://codeberg.org/lapislazuli/blue) wants to enter Guix, I'd be happy > to help take care of that too. > > Would it make sense to add these, and myself, to this team, making this > more of a team effort?
Thanks, that'd be great Thanks, I added you and dezyne.scm (SCMackerel, Desyne) to https://codeberg.org/guix/guix/pulls/6166 (qa-modules team), and you to https://codeberg.org/guix/guix/pulls/6171 (build-tools team). (Down this thread it was suggested to split the modules into narrower interests to better appeal to future members.) mCRL2 (among with other model checking and theorem proving stuff) are in maths.scm, which is now 11618 LoC, so I suppose it is not a bad idea to split it into different kinds of maths. NYACC and Mes are in mes.scm, which the bootstrap team is responsible for. Let me know in guix/guix!6171 whether you think the build-tools team should cover that module as well. Best wishes, Phong
signature.asc
Description: PGP signature
