Skip to content

Instantly share code, notes, and snippets.

View minijackson's full-sized avatar
❄️

Rémi NICOLE minijackson

❄️
35 followers · 15 following
  • CEA
View GitHub Profile
@minijackson
minijackson / imag.nix
Last active May 26, 2020 15:09
{ stdenv
, rustPlatform
, fetchFromGitHub
, llvmPackages
, openssl
, pkg-config
, Security
, gitMinimal
}:
@minijackson
minijackson / dotnetPackages.FSharpCompilerService.log
Created February 13, 2020 21:36
@nix { "action": "setPhase", "phase": "unpackPhase" }
unpacking sources
unpacking source archive /nix/store/ky2sd4z4dx4c6cyqj9gak4hm6wlmmjvy-source
source root is source
@nix { "action": "setPhase", "phase": "patchPhase" }
patching sources
@nix { "action": "setPhase", "phase": "configurePhase" }
configuring
Placating Nuget in nuget.targets
./.nuget/NuGet.targets
@minijackson
minijackson / tpSudoku.m
Created October 11, 2017 22:43
% taille = 4;
% connus = [1,2,2; 1,3,4; 2,4,2; 3,1,3; 4,2,1; 4,3,3];
taille = 9;
connus = [1,2,2;
1,5,3;
1,8,4;
2,1,6;
2,9,3;
3,3,4;
@minijackson
minijackson / keybase.md
Created July 28, 2016 22:44

Keybase proof

I hereby claim:

  • I am minijackson on github.
  • I am minijackson (https://keybase.io/minijackson) on keybase.
  • I have a public key ASDFKgtau43i1PjoaKMSuiJ76FKtZTtP78yf9D4daTERzAo

To claim this, I am signing this object:

@minijackson
minijackson / openpgp.txt
Created July 14, 2016 20:22
Identité reliée à OpenKeychain
Ce gist confirme l'identité reliée se trouvant dans ma clef OpenPGP et le relie à ce compte GitHub.
Jeton pour preuve :
[Verifying my OpenPGP key: openpgp4fpr:319683d39a1b4de13dc251fdfea888c9f5d64f62]
@minijackson
minijackson / openpgp.txt
Created July 14, 2016 20:22
Identité reliée à OpenKeychain
Ce gist confirme l'identité reliée se trouvant dans ma clef OpenPGP et le relie à ce compte GitHub.
Jeton pour preuve :
[Verifying my OpenPGP key: openpgp4fpr:319683d39a1b4de13dc251fdfea888c9f5d64f62]