flupe/perso.ens-lyon flupe/perso.ens-lyon

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Python
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
flupe/perso.ens-lyon
github

flupe

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Custom script to build my institutional personal page

More Repositories

1

generics

Agda
21
star
2

jibniz

A custom javascript implementation of the IBNIZ VM
JavaScript
18
star
3

achille

A Haskell library for building incremental static site generators
Haskell
14
star
4

fouine

Interpreter and compiler for a toy programming language based on OCaml
OCaml
2
star
5

kirby-cas

A Kirby plugin allowing user login through an external CAS.
Vue
2
star
6

verification-template

Agda
2
star
7

misc

Experiments with agda
Agda
1
star
8

twitter-archive-viewer

CSS
1
star
9

site

Haskell
1
star
10

slod

Tiny HTTP server for static files with live reloading
C
1
star