GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE

  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Conversation

Notices

  1. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Friday, 28-Mar-2025 09:29:49 JST Ludovic Courtès Ludovic Courtès

    #Guix channel containing packages for symbolic execution engines:
    https://github.com/agra-uni-bremen/guix-symex

    In conversation about a month ago from toot.aquilenet.fr permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: opengraph.githubassets.com
      GitHub - agra-uni-bremen/guix-symex: A Guix channel for reproducible symbolic execution research
      A Guix channel for reproducible symbolic execution research - agra-uni-bremen/guix-symex

    Feeds

    • Activity Streams
    • RSS 2.0
    • Atom
    • Help
    • About
    • FAQ
    • TOS
    • Privacy
    • Source
    • Version
    • Contact

    GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

    Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.

    Embed this notice