Skip to content
View MikaelFangel's full-sized avatar
🐝
Creative
🐝
Creative

Highlights

  • Pro

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 = "[email protected]"
}

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"; "Elixir"; "VBA"; "C++" ])
        (Beginner, [ "R"; "Python"; "Bash"; "Awk"; "Nix"; "Go"; "Prolog" ])
    ]
    technologies = [
        (Advanced, [ "Linux"; "Tines" ])
        (Intermediate, [ "Docker"; "SIEM"; "Git" ])
        (Beginner, [ "Firebase" ])
    ]
}

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

Pinned Loading

  1. nixvim-config nixvim-config Public

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

    Nix 69 17

  2. charmbracelet/gum charmbracelet/gum Public

    A tool for glamorous shell scripts 🎀

    Go 18.3k 348

  3. NixOS/nixpkgs NixOS/nixpkgs Public

    Nix Packages collection & NixOS

    Nix 18.3k 14.3k

  4. logpoint_api logpoint_api Public

    🪵 Elixir library that implements the Logpoint API reference

    Elixir 3 2

  5. catppuccin/elixir catppuccin/elixir Public

    ⚗️ Soothing pastel theme for Elixir

    Elixir 2

  6. elixir-lang/elixir elixir-lang/elixir Public

    Elixir is a dynamic, functional language for building scalable and maintainable applications

    Elixir 24.6k 3.4k