Pinned Loading

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

   An experimental Rust frontend for Stainless

   Rust 6 1

2. bytecodealliance/jco bytecodealliance/jco Public

   JavaScript toolchain for working with WebAssembly Components

   Rust 977 131

3. notion-exporter notion-exporter Public

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

   TypeScript 187 23

4. 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

5. 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

6. os-kernel os-kernel Public

   Small kernel and OS implementation in C

   C 1