Skip to content

Instantly share code, notes, and snippets.

View FlorianCassayre's full-sized avatar

Florian Cassayre FlorianCassayre

View GitHub Profile
View OVH.md

Clé d'API OVH

Pour créer une clé d'API OVH, se rendre sur ce formulaire et remplir les champs avec les informations suivantes :

  • ID / Password : identifiant et mot de passe OVH
  • Script name / Script description : libre, utiliser de préférence un vocabulaire explicite
  • Validity : Unlimited, sauf si la clé est effectivement vouée à être temporaire
  • Rights : tels que décrit sur cette page, soit :
    • DELETE /domain/zone/*
    • GET /domain/zone/*
  • POST /domain/zone/*
@FlorianCassayre
FlorianCassayre / Logic.scala
Last active May 19, 2021 13:18
Some tests on ADTs with Scala 3
View Logic.scala
import scala.compiletime.constValue
object Logic extends App:
// Definitions
enum Formula:
case Variable[Id <: String & Singleton](val id: Id) extends Formula
case True extends Formula
case False extends Formula
View perseverance_parachute_pattern.txt
Data is listed from the outer ring (first line) to the inner ring (last line).
'#' corresponds to a red stripe, while '.' is a white one.
The triangular patterns starts as valley (wrt the center).
#....#...#.......#.##....###.#.......###....###.##.......#.#......#####.....#.##
#...#################.....#.#........#.........#..#......###........###.....#..#
......#.#.......##..#...#################......##.#......#..#.......###......#..
#.......#...........#.....#..#........#.#...####################################
@FlorianCassayre
FlorianCassayre / Arithmetic.scala
Last active January 17, 2020 22:31
Formal Verification course: "personalized" lab
View Arithmetic.scala
import fol.Expr
import lcf._
import Theorems._
import fol._
import fol.Expr._
object Arithmetic {
/* == Theorems 3.2 == */
@FlorianCassayre
FlorianCassayre / FOL.scala
Last active November 6, 2019 21:18
Scala prototype for LCF-style theorem proving, verified by the compiler.
View FOL.scala
import scala.language.implicitConversions
// Scroll down to "Sandbox" to see examples
object FOL extends App {
// Types
// Formulas
// Any combination of boolean operators (does not have to be a tautology!)
@FlorianCassayre
FlorianCassayre / SumFirstIntegers.scala
Last active September 21, 2019 12:11
Proof that 1+2+...+n == n(n+1)/2 using Scala Stainless.
View SumFirstIntegers.scala
import stainless.annotation.induct
object SumFirstIntegers {
// n(n+1)/2
def sumFirstIntegersClosedForm(n: BigInt): BigInt = {
require(n >= 0)
n * (n + 1) / 2
}
View lunar_terrain.pde
final int margin = 200;
int sampled = 0;
float[][] acc;
final PVector light = new PVector(2, 1, 1).normalize();
void setup() {
size(800, 800);
View day09.c
#include <stddef.h>
#include <malloc.h>
#include <stdio.h>
#include <time.h>
typedef struct linked_t {
struct linked_t* previous;
struct linked_t* next;
int value;
} linked_t;
View keybase.md

Keybase proof

I hereby claim:

  • I am FlorianCassayre on github.
  • I am flomine (https://keybase.io/flomine) on keybase.
  • I have a public key whose fingerprint is 15F2 D0CC 0424 6F32 25EC 9AAD B280 01E0 4138 B6FE

To claim this, I am signing this object: