Nguyễn Gia Phong via Development of GNU Guix and the GNU System distribution. writes:
Hi! > - 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? Greetings, Jannke -- Janneke Nieuwenhuizen <[email protected]> | GNU LilyPond https://LilyPond.org Freelance IT https://www.JoyOfSource.com | Avatar® https://AvatarAcademy.com
