Skip to content
View remolueoend's full-sized avatar
20 followers · 19 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3
BetaSend feedback

Organizations

@kollektiv-hackathon @braincube
Block or Report

Block or report remolueoend

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

Hi there 👋

  • 🏫 back at ETH Zurich to get my CS degree
  • 🥰 typescript fan and node/react veteran
  • 🔥 messing around with ocaml and rust
  • 📖 vernor vinge - a deepness in the sky
  • 🌱 a keyboard layout configurator for linux, stay tuned!

Pinned

  1. rayrice rayrice Public

    My *nix rice 🍚

    Shell 2

  2. monpoly monpoly Public

    MonPoly is a prototype monitoring tool. It checks the compliance of log files with respect to policies that are specified by formulas in Metric First-Order Temporal Logic (MFOTL).

    Isabelle

  3. open-url open-url Public

    A small utility to manage custom actions when opening URLs of configurable patterns.

    Rust

  4. dyna-bookmarks dyna-bookmarks Public

    CLI tool for accessing bookmarks stored in a dynalist.io document

    Rust 3

  5. js-lisp js-lisp Public

    kind-of-LISP-expression interpreter in Javascript

    JavaScript