Skip to content
View MikaelFangel's full-sized avatar
🎆
NixOS
🎆
NixOS
32 followers · 90 following

Sponsoring

@exercism

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Public SponsorAchievement: YOLO
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Public SponsorAchievement: YOLO
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report MikaelFangel

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
MikaelFangel/README.md

Does it compile?

type PersonalInformation = { name: string; description: string; mail: string }
let myContactDetails =  {
    name = "Mikael Fangel"
    description = "I'm studying software engineering at DTU and I am currently doing an intership"
    mail = "public.tradition061@passinbox.com"
}

type Interest = string
let myInterest: Interest List = [ "Linux"; "Security"; "NixOS"; "Functional Programming" ]

type LevelOfConfidence = Advanced | Intermediate | Beginner
type SkillSet = { programmingLanguages: (LevelOfConfidence * string List) List
                  technologies: (LevelOfConfidence * string List) List }
let mySkillSet = {
    programmingLanguages = [
        (Advanced, [ "Java"; "C"])
        (Intermediate, [ "F#"; "Kotlin"; "Go"; "VBA" ])
        (Beginner, [ "R"; "Python"; "Bash"; "Awk"; "Nix"; "Elixir" ])
    ]
    technologies = [
        (Advanced, [ "Linux" ])
        (Intermediate, [ "Docker"; "SIEM" ])
        (Beginner, [])
    ]
}

type URL = string
let myGist: URL = "https://gist.github.com/MikaelFangel"

Pinned

  1. DTUConnect DTUConnect Public

    🛜 Bash script for connecting to the DTUsecure on campus and setting up eduroam.

    Shell 8 1

  2. nixvim-config nixvim-config Public

    🗒️ An easy-setup configuration for NixVim, focused on straightforward customization.

    Nix 30 6

  3. charmbracelet/gum charmbracelet/gum Public

    A tool for glamorous shell scripts 🎀

    Go 16.9k 321

  4. AwesomeScripts AwesomeScripts Public

    📜 A collection of useful bash scripts that I find awesome.

    Shell 4

  5. NixOS/nixpkgs NixOS/nixpkgs Public

    Nix Packages collection & NixOS

    Nix 16k 12.6k

  6. NUR NUR Public

    📦 My nix user repository for packages that don't fit nixpkgs

    Nix 1