Pinned Repositories
achille
A Haskell library for building incremental static site generators
agda
Agda is a dependently typed programming language / interactive theorem prover.
fouine
Interpreter and compiler for a toy programming language based on OCaml
generics
jibniz
A custom javascript implementation of the IBNIZ VM
kirby-cas
A Kirby plugin allowing user login through an external CAS.
kirby-git
Automatic Version Control for Kirby 3
perso.ens-lyon
Custom script to build my institutional personal page
verification-template
vim-tidal
Vim plugin for TidalCycles
flupe's Repositories
flupe/generics
flupe/jibniz
A custom javascript implementation of the IBNIZ VM
flupe/achille
A Haskell library for building incremental static site generators
flupe/verification-template
flupe/agda
Agda is a dependently typed programming language / interactive theorem prover.
flupe/misc
Experiments with agda
flupe/ornaments-thesis
My master thesis about generic programming and ornaments
flupe/slod
Tiny HTTP server for static files with live reloading
flupe/advent2019
Some solutions for the Advent of Code 2019
flupe/agda-core
flupe/agda-stdlib
The Agda standard library
flupe/agda2hs
Compiling Agda code to readable Haskell
flupe/aoc2020
Advent of Code 2020, in Idris2
flupe/dino
Modern XMPP ("Jabber") Chat Client using GTK+/Vala
flupe/embedding
flupe/hash-modulo-alpha
Quickly hashing all subexpressions of a program modulo alpha-renaming
flupe/lists
Collection of personal lists
flupe/metacoq
Metaprogramming in Coq
flupe/microui
Tiny immediate-mode UI library
flupe/mmark
Strict markdown processor for writers
flupe/ohrid19-agda
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
flupe/pandoc
Universal markup converter
flupe/parametricity-a-la-carte
mixing CoqEAL and univalent parametricity
flupe/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
flupe/scope
An agda2hs-compatible library for well-scoped syntax
flupe/tree-sitter-agda
Agda grammar for tree-sitter
flupe/tsunami
flupe/univalent_parametricity
Univalent Parametricity for Effective Transport
flupe/void-packages
The Void source packages collection
flupe/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada: