Yann Bolliger's repositories
notion-exporter
CLI and library for exporting .md and .csv files from any Notion.so page.
md-ieee-latex-template
A simple Makefile pipeline to convert Markdown files into IEEE paper formatted PDFs using pandoc.
elastic-charts
:bar_chart: Elastic Charts library
processwire-boilerplate
My personal starter repo for new Processwire projects.
rust-stainless-thesis-report
MSc project on «Formal Verification of Rust with Stainless».
ams_csv
CSV Serializer for Rails based on active_model_serializers v0.9
areyouloco
Small toy website for finding the locoest person. Just for fun.
bolliger-io-nextjs
Personal website for the Bolliger family built with nextjs.
g5-parallel-sgd-spark
Group 5 project for Systems for Data Science course @ EPFL, 2019.
inox
Solver for higher-order functional programs
intelligent-agents
Repo for projects in the Intelligent Agents class @ EPFL, CH.
next.js
The React Framework
scala
The Scala programming language
scala-collection-compat
makes a subset of the Scala 2.13 collections API available on 2.11 and 2.12, to aid cross-building
simple-equation-system-generator
Some functional ES6 script generates a simple linear equation exercise for math at college.
spring-amqp
Spring AMQP - support for Spring programming model with AMQP, especially but not limited to RabbitMQ
stainless
Verification framework and tool for higher-order Scala programs
tendermint-rs
Tendermint in Rust!