Giter Club home page Giter Club logo

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 = "[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"; "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"

Mikael Fangel's Projects

awktc icon awktc

AWKTC is Workable Klutzy Time-wasting Command

collections icon collections

A collection of different generic datastructures in C

dtuconnect icon dtuconnect

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

euclidsolver icon euclidsolver

Small Java program to find GCD using Euclids algorithm.

golfbot icon golfbot

A project in developing a robot for collecting golf balls using Lego Mindstorms.

gum icon gum

A tool for glamorous shell scripts 🎀

iris-web icon iris-web

Collaborative Incident Response platform

lc3-project1 icon lc3-project1

A small LC-3 that checks if the input is a prime number or not

logpoint_api icon logpoint_api

🪵 Elixir library that implements the Logpoint API reference

nixvim icon nixvim

Configure Neovim with Nix! [maintainer=@pta2002, @traxys, @GaetanLepage]

nixvim-config icon nixvim-config

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

nur icon nur

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

shell icon shell

A Simple Shell implemented in C

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.