Pinned Loading

1. rayrice rayrice Public

   My *nix rice 🍚

   Shell 2

2. ethz-bsc-thesis ethz-bsc-thesis Public

   My bachelor's thesis: Monitoring Complex Data Types

   TeX

3. 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 2

4. dyna-bookmarks dyna-bookmarks Public

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

   Rust 3

5. open-url open-url Public

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

   Rust

6. js-lisp js-lisp Public

   kind-of-LISP-expression interpreter in Javascript

   JavaScript