Yann

JavaScript toolchain for working with WebAssembly Components

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

Small kernel and OS implementation in C

A simple Makefile pipeline to convert Markdown files into IEEE paper formatted PDFs using pandoc.

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

My personal starter repo for new Processwire projects.

Extremely fast Query Engine for DataFrames, written in Rust

My personal configuration files.

Personal website for the Bolliger family built with nextjs.

No description.

Tendermint in Rust!

No description.

The React Framework

:bar_chart: Elastic Charts library

Spring AMQP - support for Spring programming model with AMQP, especially but not limited to RabbitMQ

Group 5 project for Systems for Data Science course @ EPFL, 2019.

Some functional ES6 script generates a simple linear equation exercise for math at college.

Verification framework and tool for higher-order Scala programs

Solver for higher-order functional programs

makes a subset of the Scala 2.13 collections API available on 2.11 and 2.12, to aid cross-building

The Scala programming language

Repo for projects in the Intelligent Agents class @ EPFL, CH.

Small toy website for finding the locoest person. Just for fun.

CSV Serializer for Rails based on active_model_serializers v0.9