Pinned Loading

1. notion-exporter notion-exporter Public

   CLI and library for exporting .md and .csv files from any Notion.so page.

   TypeScript 135 14

2. epfl-lara/rust-stainless epfl-lara/rust-stainless Public

   An experimental Rust frontend for Stainless

   Rust 6 2

3. Sqooba/scala-timeseries-lib Sqooba/scala-timeseries-lib Public

   Lightweight, functional and correct time-series library for scala. Easy manipulation, filtering and combination of time-series data.

   Scala 30 4

4. who-owns-lausanne/who-owns-lausanne.github.io who-owns-lausanne/who-owns-lausanne.github.io Public

   Github page for the "who owns Lausanne" project.

   HTML 3 3

5. os-kernel os-kernel Public

   Small kernel and OS implementation in C

   C 1

6. rust-stainless-thesis-report rust-stainless-thesis-report Public

   MSc project on «Formal Verification of Rust with Stainless».

   TeX 2