[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View zazedd's full-sized avatar
26 followers · 34 following

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: YOLO

Organizations

@NixOS

Block or report zazedd

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
zazedd/README.md

studying at fcup, portugal

let lst = [ "Welcome"; "to"; "my"; "GitHub"; "profile"; "!" ]

let () =
  List.fold_left
    (fun acc a ->
      match a with "!" | "Welcome" -> acc ^ a | _ -> " " ^ acc ^ a)
    "" lst
  |> print_endline

let interests = [|
  "Functional Programming";
  "Compilers and Interpreters";
  "Type Theory";
  "Cybersecurity";
|]

let working_at = ("tarides", "creating an OCurrent pipeline for radiocarbon dating")

also check out my website

Pinned Loading

  1. zaml zaml Public

    OCaml inspired language

    OCaml 8

  2. radiocarbon-pipeline radiocarbon-pipeline Public

    OCurrent pipeline for the reproducible calibration of Radiocarbon dates

    OCaml 2

  3. radiocarbon-website radiocarbon-website Public

    Website for the reproducible calibration of Radiocarbon dates

    OCaml 2

  4. strange_cipher strange_cipher Public

    An encryption/decryption algorithm based on Lorenz's Strange Attractor

    Rust 4

  5. solar-system solar-system Public

    OpenGL Solar System with a couple of interesting features

    C

  6. .dotfiles .dotfiles Public

    My configuration for all of my systems using Nix

    Nix 2