Skip to content
View MikaelFangel's full-sized avatar
🎆
NixOS
🎆
NixOS

Sponsoring

@exercism
@typst

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"
    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"; "Tines" ])
        (Intermediate, [ "Docker"; "SIEM"; "Git" ])
        (Beginner, [ "Firebase" ])
    ]
}

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 7

  3. charmbracelet/gum charmbracelet/gum Public

    A tool for glamorous shell scripts 🎀

    Go 17k 323

  4. NixOS/nixpkgs NixOS/nixpkgs Public

    Nix Packages collection & NixOS

    Nix 16.1k 12.7k

  5. NUR NUR Public

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

    Nix 1

  6. logpoint_api logpoint_api Public

    🪵 Elixir library that implements the Logpoint API reference

    Elixir 1 2