Skip to content
View thein3rovert's full-sized avatar
🌠
Growing...
🌠
Growing...
6 followers · 17 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Highlights

  • Pro

Block or report thein3rovert

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
thein3rovert/README.md 
let
  createUser = rec {
    user = {
      name = "Samad Olaibi";
      role = "Software Engineer";
      languages = [ "Yoruba" "English" ];
      programmingLanguages = [ "Java" "Python" "Typescript" ];
      infrastructure = [ "Nix" "Ansible" "Docker" "Terraform" ];
    };
    
    userInfo = ''
      Name: ${user.name}
      Role: ${user.role}
      Spoken Languages: ${builtins.concatStringsSep ", " user.languages}
      Programming Languages: ${builtins.concatStringsSep ", " user.programmingLanguages}
      Infrastructure: ${builtins.concatStringsSep ", " user.infrastructure}
    '';
  };
in
  builtins.trace createUser.userInfo createUser

Pinned Loading

  1. nixos-config nixos-config Public

    Hybrid cloud infrastructure with NixOS, Ansible and Terraform automation.

    Nix

  2. blog.thein3rovert.dev blog.thein3rovert.dev Public

    My personal blog and Documentation website

    Astro

  3. nixified-gruvbox-factory nixified-gruvbox-factory Public

    A Nix package for Gruvbox Factory, a CLI tool that converts images to use the Gruvbox color palette.

    Nix 1

  4. MediFlow MediFlow Public

    A streamlined solution for handling medical data with seamless integration between backend APIs and a user-friendly frontend. MediFlow focuses on enhancing data presentation, managing gaps or inval…

    CSS

  5. GeoInfo GeoInfo Public

    GEOINFO is a web application built with Java, Spring Boot, and React, designed to analyze geographical data and provide insights through various charts.

    Java

  6. SecureDoc SecureDoc Public

    SecureDoc is a Java-based project focused on enhancing document security and management. It’s designed for robust encryption, privacy, and safe handling of sensitive files.

    Java 3 2