Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by yannbolliger
A curated list of projects in awesome lists by yannbolliger .
https://github.com/yannbolliger/notion-exporter
CLI and library for exporting .md and .csv files from any Notion.so page.
cli markdown notion notion-api npm typescript
Last synced: 08 Nov 2024
https://github.com/yannbolliger/md-ieee-latex-template
A simple Makefile pipeline to convert Markdown files into IEEE paper formatted PDFs using pandoc.
Last synced: 08 Nov 2024
https://github.com/yannbolliger/processwire-boilerplate
My personal starter repo for new Processwire projects.
Last synced: 08 Nov 2024
https://github.com/yannbolliger/rust-stainless-thesis-report
MSc project on «Formal Verification of Rust with Stainless».
compilers formal-methods formal-verification rust scala stainless
Last synced: 08 Nov 2024
https://github.com/yannbolliger/areyouloco
Small toy website for finding the locoest person. Just for fun.
Last synced: 08 Nov 2024
https://github.com/yannbolliger/intelligent-agents
Repo for projects in the Intelligent Agents class @ EPFL, CH.
Last synced: 08 Nov 2024
https://github.com/yannbolliger/bolliger-io-nextjs
Personal website for the Bolliger family built with nextjs.
nextjs react reactjs typescript
Last synced: 08 Nov 2024
https://github.com/yannbolliger/simple-equation-system-generator
Some functional ES6 script generates a simple linear equation exercise for math at college.
Last synced: 08 Nov 2024
https://github.com/yannbolliger/g5-parallel-sgd-spark
Group 5 project for Systems for Data Science course @ EPFL, 2019.
Last synced: 08 Nov 2024