-
bolliger-io-nextjs Public
Personal website for the Bolliger family built with nextjs.
TypeScript UpdatedSep 18, 2024 -
-
notion-exporter Public
CLI and library for exporting .md and .csv files from any Notion.so page.
-
-
next.js Public
Forked from vercel/next.jsThe React Framework
JavaScript MIT License UpdatedJan 26, 2024 -
elastic-charts Public
Forked from elastic/elastic-charts📊 Elastic Charts library
TypeScript Other UpdatedDec 20, 2022 -
spring-amqp Public
Forked from spring-projects/spring-amqpSpring AMQP - support for Spring programming model with AMQP, especially but not limited to RabbitMQ
Java Apache License 2.0 UpdatedApr 5, 2022 -
g5-parallel-sgd-spark Public
Group 5 project for Systems for Data Science course @ EPFL, 2019.
TeX UpdatedDec 23, 2021 -
Some functional ES6 script generates a simple linear equation exercise for math at college.
JavaScript MIT License UpdatedOct 27, 2021 -
rust-stainless-thesis-report Public
MSc project on «Formal Verification of Rust with Stainless».
-
tendermint-rs Public
Forked from informalsystems/tendermint-rsTendermint in Rust!
Rust Apache License 2.0 UpdatedJul 23, 2021 -
stainless Public
Forked from epfl-lara/stainlessVerification framework and tool for higher-order Scala programs
HTML Apache License 2.0 UpdatedJul 21, 2021 -
inox Public
Forked from epfl-lara/inoxSolver for higher-order functional programs
Scala Apache License 2.0 UpdatedMay 19, 2021 -
md-ieee-latex-template Public template
A simple Makefile pipeline to convert Markdown files into IEEE paper formatted PDFs using pandoc.
-
scala Public
Forked from scala/scalaThe Scala programming language
Scala Apache License 2.0 UpdatedFeb 26, 2020 -
scala-collection-compat Public
Forked from scala/scala-collection-compatmakes a subset of the Scala 2.13 collections API available on 2.11 and 2.12, to aid cross-building
Scala Apache License 2.0 UpdatedFeb 26, 2020 -
intelligent-agents Public
Repo for projects in the Intelligent Agents class @ EPFL, CH.
Java UpdatedOct 15, 2019 -
processwire-boilerplate Public
My personal starter repo for new Processwire projects.
-
areyouloco Public
Small toy website for finding the locoest person. Just for fun.
PHP UpdatedFeb 27, 2019 -
ams_csv Public
Forked from wacii/ams_csvCSV Serializer for Rails based on active_model_serializers v0.9
Ruby MIT License UpdatedNov 7, 2018