yannbolliger Goto Github PK

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.

dotfiles

My personal configuration files.

elastic-charts

:bar_chart: Elastic Charts library

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.

md-ieee-latex-template

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

next.js

The React Framework

notion-exporter

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

os-kernel

Small kernel and and OS implementation in C

processwire-boilerplate

My personal starter repo for new Processwire projects.

proof-of-work

rust-stainless-thesis-report

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

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!