Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register

Explore GitLab

Discover projects, groups and snippets. Share your projects with others


  • All
  • Most stars
  • Trending
  • Sort by
  • Updated date
  • Last created
  • Name
  • Name, descending
  • Most stars
  • Oldest updated
  • Oldest created
  • Hide archived projects
  • Show archived projects
  • Show archived projects only
  • B

    Thomas Koopman / Blocked Matmul

    0 0 0 0
    Updated Mar 20, 2023
  • B

    sac-group / blocked_matmul

    0 0 0 0
    Updated Mar 10, 2023
  • A

    Artem Shinkarov / artem-blog

    0 0 0 0
    Updated Mar 05, 2023
  • Rowan Goemans / sac2c

    The Single-Assignment C compiler, called sac2c.

    0 0 0 0
    Updated Dec 29, 2022
  • S

    Rowan Goemans / sac-from-c-mt-pth-one-thread

    0 0 0 0
    Updated Dec 20, 2022
  • S

    sac-group / Shray2

    0 0 0 0
    Updated Mar 15, 2023
  • S

    sac-group / SaC Packages

    0 0 0 0
    Updated Feb 19, 2023
  • 2

    Artem Shinkarov / 2021-talk-extraction

    My talk about extraction in Agda

    0 0 0 0
    Updated Jan 15, 2021
  • B

    sac-group / Build SaC Packages

    0 0
    Updated Jan 29, 2023
  • C

    Artem Shinkarov / cnn

    0 1 0 0
    Updated Sep 23, 2020
  • P

    Artem Shinkarov / pact-slides

    0 0 0 0
    Updated Sep 23, 2020
  • B

    Hans-Nikolai Viessmann / benchmark-profiles

    0 0 0 0
    Updated Sep 23, 2020
  • S

    Sven-Bodo Scholz / sac2c

    The sac2c compiler

    2 0 0 0
    Updated Mar 18, 2023
  • sac-group / sac2c

    ISC License

    The Single-Assignment C compiler, called sac2c.

    1 22 12 334
    Updated Mar 19, 2023
  • C

    Artem Shinkarov / compiler

    0 0 0 0
    Updated Sep 23, 2020