diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2022-12-17 18:22:57 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2022-12-17 18:22:57 +0100 |
| commit | c91a58357700a466aee5135767535136c878e009 (patch) | |
| tree | a7b55168f110a1c9752915a6b111cf3793962786 /software/software.json | |
| parent | bc83aaf07a793823676d3d94c1d50b10be9b4a57 (diff) | |
add software
Diffstat (limited to 'software/software.json')
| -rw-r--r-- | software/software.json | 5 |
1 files changed, 5 insertions, 0 deletions
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"} +] |