Skip to content
@anselmes

ANSELMES

README.md

Welcome to ANSELMES 👋

Pinned Loading

  1. sel4 sel4 Public

    Forked from seL4/seL4

    The seL4 microkernel

    C

  2. linux linux Public

    Forked from torvalds/linux

    Linux kernel source tree

    C 1

  3. charts charts Public

    Smarty

  4. images images Public

    Dockerfile

  5. toolchain toolchain Public

    Shell

  6. config config Public

    dotfiles

    Shell

Repositories

Showing 10 of 24 repositories
  • toolchain Public
    anselmes/toolchain’s past year of commit activity
    Shell 0 GPL-3.0 0 0 0 Updated Dec 30, 2024
  • config Public

    dotfiles

    anselmes/config’s past year of commit activity
    Shell 0 GPL-3.0 0 0 0 Updated Dec 30, 2024
  • images Public
    anselmes/images’s past year of commit activity
    Dockerfile 0 GPL-3.0 0 0 3 Updated Dec 20, 2024
  • charts Public
    anselmes/charts’s past year of commit activity
    Smarty 0 GPL-3.0 0 0 3 Updated Dec 20, 2024
  • workspace Public
    anselmes/workspace’s past year of commit activity
    Shell 0 GPL-3.0 0 0 0 Updated Dec 20, 2024
  • edk2 Public Forked from tianocore/edk2

    EDK II

    anselmes/edk2’s past year of commit activity
    C 0 2,620 0 0 Updated Dec 6, 2024
  • sel4 Public Forked from seL4/seL4

    The seL4 microkernel

    anselmes/sel4’s past year of commit activity
    C 0 698 0 0 Updated Nov 22, 2024
  • cicd Public
    anselmes/cicd’s past year of commit activity
    Shell 0 GPL-3.0 0 0 2 Updated Nov 21, 2024
  • cloudos-dev Public template

    devos

    anselmes/cloudos-dev’s past year of commit activity
    0 GPL-3.0 0 0 0 Updated Nov 5, 2024
  • cloudos-cu-lab Public

    labos

    anselmes/cloudos-cu-lab’s past year of commit activity
    Shell 0 GPL-3.0 0 0 0 Updated Nov 2, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
Developer Program Member