From c91a58357700a466aee5135767535136c878e009 Mon Sep 17 00:00:00 2001 From: Quentin Aristote Date: Sat, 17 Dec 2022 18:22:57 +0100 Subject: add software --- default.nix | 6 +++++- software/default.nix | 4 ++++ software/software.json | 5 +++++ 3 files changed, 14 insertions(+), 1 deletion(-) create mode 100644 software/default.nix create mode 100644 software/software.json diff --git a/default.nix b/default.nix index f2d9b6c..325cc58 100644 --- a/default.nix +++ b/default.nix @@ -2,7 +2,10 @@ let files = ./files; - commonArgs = markup // { inherit files make pkgs; inherit (pkgs) lib; }; + commonArgs = markup // { + inherit files make pkgs; + inherit (pkgs) lib; + }; make = path: overrides: let f = import path; in f ((builtins.intersectAttrs (builtins.functionArgs f) commonArgs) @@ -14,4 +17,5 @@ in { experience = make ./experience { }; languages = make ./languages { }; education = make ./education { }; + software = make ./software { }; } diff --git a/software/default.nix b/software/default.nix new file mode 100644 index 0000000..b08f3ec --- /dev/null +++ b/software/default.nix @@ -0,0 +1,4 @@ +{ lib, ... }: + +lib.importJSON ./software.json + diff --git a/software/software.json b/software/software.json new file mode 100644 index 0000000..c0090a0 --- /dev/null +++ b/software/software.json @@ -0,0 +1,5 @@ +[ + {"id":"aristoteBibliparis","abstract":"Spacemacs layer that adds functionnalities to org-mode, allowing for managing reading lists of documents from Paris’ network of libraries.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteBibliparis","genre":"Emacs Lisp","title":"bibli-paris","type":"software","URL":"https://github.com/qaristote/bibli-paris"}, + {"id":"aristoteSmtlibbackends2022","abstract":"Haskell library providing low-level functions for SMT-LIB-based interaction with SMT solvers.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteSmtlibbackends2022","genre":"Haskell","issued":{"date-parts":[[2022,12,16]]},"license":"Copyright (c) Tweag I/O Limited.","publisher":"Tweag","title":"smtlib-backends","type":"software","URL":"https://hackage.haskell.org/package/smtlib-backends","version":"0.2"}, + {"id":"aristoteWebpage","abstract":"Nix-based static webpage generator.","author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteWebpage","title":"webpage","type":"software","URL":"https://github.com/qaristote/webpage"} +] -- cgit v1.2.3