Skip to content
View flupe's full-sized avatar
👋
moving to sourcehut
👋
moving to sourcehut
44 followers · 143 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report flupe

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • univalent_parametricity Public

    Forked from CoqHott/univalent_parametricity

    Univalent Parametricity for Effective Transport

    Coq Updated Nov 19, 2019

  • kirby-cas Public

    A Kirby plugin allowing user login through an external CAS.

    Vue 2 Updated Nov 15, 2019

  • Generic Public

    Forked from effectfully/Generic

    A library for doing generic programming in Agda

    Agda Updated Nov 4, 2019

  • vim-tidal Public

    Forked from tidalcycles/vim-tidal

    Vim plugin for TidalCycles

    Vim Script 5 MIT License Updated Oct 5, 2019

  • twitter-archive-viewer Public

    CSS 1 Updated Apr 25, 2019

  • psync Public

    Forked from dzufferey/psync

    DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds

    Scala Other Updated Apr 19, 2019

  • kirby-git Public

    Forked from wottpal/kirby-git

    Automatic Version Control for Kirby 3

    PHP 1 Updated Mar 27, 2019

  • logic Public

    Experiment on logic formula decidability

    Haskell BSD 3-Clause "New" or "Revised" License Updated Feb 19, 2019

  • word-counter Public

    JavaScript Updated Feb 7, 2019

  • kobo Public

    Updated Jan 12, 2019

  • perso.ens-lyon Public

    Custom script to build my institutional personal page

    Python 3 Updated Feb 1, 2018

  • mpiproject Public

    Distributed minimal spanning tree algorithms using MPI for a school assigment.

    C Updated Dec 17, 2017

  • simplex Public

    Simplex algorithm implementation for a school assigment.

    Python 1 Updated Nov 20, 2017

  • fouine Public

    Interpreter and compiler for a toy programming language based on OCaml

    OCaml 2 Updated May 17, 2017

  • asr2dm1 Public

    A C implementation of the FAT32 file system

    C Updated Apr 2, 2017

  • proj2rendu1 Public

    OCaml Updated Mar 21, 2017

  • proj2dm1 Public

    OCaml assignment on trees and hash consing

    OCaml Updated Feb 7, 2017