home » dokk/data.git
Author zPlus <zplus@peers.community> 2023-03-23 23:07:41
Committer zPlus <zplus@peers.community> 2023-03-23 23:07:41
Commit 21509f9 (patch)
Tree 320cbd9
Parent(s)

Add more PDFs to the library.


commits diff: 433313f..21509f9
2 files changed, 711 insertions, 0 deletions — download


Diffstat
-rw-r--r-- data/blob.ttl 384
-rw-r--r-- data/library.ttl 327

Diff options
View
Side
Whitespace
Context lines
Inter-hunk lines
+384/-0 M   data/blob.ttl
index a7e55fd..5599f91
old size: 47K - new size: 65K
@@ -918,3 +918,387 @@ prefix library: <dokk:library:>
918 918 :primary_source "https://f1000research.s3.amazonaws.com/manuscripts/143119/5caf90bb-69c0-4e27-8fae-8e2e7bb24dcc_126998_-_rachel_kowert.pdf" ;
919 919 :primary_source_retrieved "2023-03-22" ;
920 920 :type "PDF" .
921 +
922 + <dokk:blob:pdf/python_3_cheat_sheet_v2.0.6_en.pdf>
923 + :library library:python_3_cheat_sheet_v2.0.6_en ;
924 + :primary_source "https://perso.limsi.fr/pointal/_media/python:cours:mementopython3-english.pdf" ;
925 + :primary_source_retrieved "2023-03-23" ;
926 + :type "PDF" .
927 +
928 + <dokk:blob:pdf/python_jump_start_Brown_2022.pdf>
929 + :library library:python_jump_start_Brown_2022 ;
930 + :primary_source "https://ccse.kennesaw.edu/outreach/docs/python_jump_start.pdf" ;
931 + :primary_source_retrieved "2023-03-23" ;
932 + :type "PDF" .
933 +
934 + <dokk:blob:pdf/python_web_development_brief_introduction_Wachtler_2021.pdf>
935 + :library library:python_web_development_brief_introduction_Wachtler_2021 ;
936 + :primary_source "https://openlib.tugraz.at/download.php?id=60e6b0971dcdc&location=browse" ;
937 + :primary_source_retrieved "2023-03-23" ;
938 + :type "PDF" .
939 +
940 + <dokk:blob:pdf/integrating_graph_builder_into_python_tutor_2021.pdf>
941 + :library library:integrating_graph_builder_into_python_tutor_2021 ;
942 + :primary_source "https://drops.dagstuhl.de/opus/volltexte/2021/14222/pdf/OASIcs-ICPEC-2021-6.pdf" ;
943 + :primary_source_retrieved "2023-03-23" ;
944 + :type "PDF" .
945 +
946 + <dokk:blob:pdf/20_years_kde.pdf>
947 + :library library:20_years_kde ;
948 + :primary_source "https://20years.kde.org/book/20yearsofKDE.pdf" ;
949 + :primary_source_retrieved "2023-03-23" ;
950 + :type "PDF" .
951 +
952 + <dokk:blob:pdf/forensic_face_recognition_kde_evidence_theory_2021.pdf>
953 + :library library:forensic_face_recognition_kde_evidence_theory_2021 ;
954 + :primary_source "https://www.matec-conferences.org/articles/matecconf/pdf/2021/05/matecconf_cscns20_06008.pdf" ;
955 + :primary_source_retrieved "2023-03-23" ;
956 + :type "PDF" .
957 +
958 + <dokk:blob:pdf/kde_sc_4_gbb.pdf>
959 + :library library:kde_sc_4_gbb ;
960 + :primary_source "https://dotancohen.com/images/kde/kde4-gbb.pdf" ;
961 + :primary_source_retrieved "2023-03-23" ;
962 + :type "PDF" .
963 +
964 + <dokk:blob:pdf/creative_commons_newsletter_1.pdf>
965 + :library library:creative_commons_newsletter_1 ;
966 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter1.pdf" ;
967 + :primary_source_retrieved "2023-03-23" ;
968 + :type "PDF" .
969 +
970 + <dokk:blob:pdf/creative_commons_newsletter_2.pdf>
971 + :library library:creative_commons_newsletter_2 ;
972 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter2.pdf" ;
973 + :primary_source_retrieved "2023-03-23" ;
974 + :type "PDF" .
975 +
976 + <dokk:blob:pdf/creative_commons_newsletter_3.pdf>
977 + :library library:creative_commons_newsletter_3 ;
978 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter3.pdf" ;
979 + :primary_source_retrieved "2023-03-23" ;
980 + :type "PDF" .
981 +
982 + <dokk:blob:pdf/creative_commons_newsletter_4.pdf>
983 + :library library:creative_commons_newsletter_4 ;
984 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter4.pdf" ;
985 + :primary_source_retrieved "2023-03-23" ;
986 + :type "PDF" .
987 +
988 + <dokk:blob:pdf/creative_commons_newsletter_5.pdf>
989 + :library library:creative_commons_newsletter_5 ;
990 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter5.pdf" ;
991 + :primary_source_retrieved "2023-03-23" ;
992 + :type "PDF" .
993 +
994 + <dokk:blob:pdf/creative_commons_newsletter_6.pdf>
995 + :library library:creative_commons_newsletter_6 ;
996 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter6.pdf" ;
997 + :primary_source_retrieved "2023-03-23" ;
998 + :type "PDF" .
999 +
1000 + <dokk:blob:pdf/creative_commons_newsletter_7.pdf>
1001 + :library library:creative_commons_newsletter_7 ;
1002 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter7.pdf" ;
1003 + :primary_source_retrieved "2023-03-23" ;
1004 + :type "PDF" .
1005 +
1006 + <dokk:blob:pdf/creative_commons_newsletter_8.pdf>
1007 + :library library:creative_commons_newsletter_8 ;
1008 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter8.pdf" ;
1009 + :primary_source_retrieved "2023-03-23" ;
1010 + :type "PDF" .
1011 +
1012 + <dokk:blob:pdf/creative_commons_newsletter_9.pdf>
1013 + :library library:creative_commons_newsletter_9 ;
1014 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter9.pdf" ;
1015 + :primary_source_retrieved "2023-03-23" ;
1016 + :type "PDF" .
1017 +
1018 + <dokk:blob:pdf/creative_commons_newsletter_10.pdf>
1019 + :library library:creative_commons_newsletter_10 ;
1020 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter10.pdf" ;
1021 + :primary_source_retrieved "2023-03-23" ;
1022 + :type "PDF" .
1023 +
1024 + <dokk:blob:pdf/creative_commons_newsletter_11.pdf>
1025 + :library library:creative_commons_newsletter_11 ;
1026 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter11.pdf" ;
1027 + :primary_source_retrieved "2023-03-23" ;
1028 + :type "PDF" .
1029 +
1030 + <dokk:blob:pdf/creative_commons_newsletter_12.pdf>
1031 + :library library:creative_commons_newsletter_12 ;
1032 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter12.pdf" ;
1033 + :primary_source_retrieved "2023-03-23" ;
1034 + :type "PDF" .
1035 +
1036 + <dokk:blob:pdf/creative_commons_newsletter_13.pdf>
1037 + :library library:creative_commons_newsletter_13 ;
1038 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter13.pdf" ;
1039 + :primary_source_retrieved "2023-03-23" ;
1040 + :type "PDF" .
1041 +
1042 + <dokk:blob:pdf/creative_commons_newsletter_14.pdf>
1043 + :library library:creative_commons_newsletter_14 ;
1044 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter14.pdf" ;
1045 + :primary_source_retrieved "2023-03-23" ;
1046 + :type "PDF" .
1047 +
1048 + <dokk:blob:pdf/creative_commons_newsletter_15.pdf>
1049 + :library library:creative_commons_newsletter_15 ;
1050 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter15.pdf" ;
1051 + :primary_source_retrieved "2023-03-23" ;
1052 + :type "PDF" .
1053 +
1054 + <dokk:blob:pdf/creative_commons_newsletter_16.pdf>
1055 + :library library:creative_commons_newsletter_16 ;
1056 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter16.pdf" ;
1057 + :primary_source_retrieved "2023-03-23" ;
1058 + :type "PDF" .
1059 +
1060 + <dokk:blob:pdf/creative_commons_newsletter_17.pdf>
1061 + :library library:creative_commons_newsletter_17 ;
1062 + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter17.pdf" ;
1063 + :primary_source_retrieved "2023-03-23" ;
1064 + :type "PDF" .
1065 +
1066 + <dokk:blob:pdf/glycan_naming_subsumption_ontology_2021.pdf>
1067 + :library library:glycan_naming_subsumption_ontology_2021 ;
1068 + :primary_source "https://ceur-ws.org/Vol-3073/paper11.pdf" ;
1069 + :primary_source_retrieved "2023-03-23" ;
1070 + :type "PDF" .
1071 +
1072 + <dokk:blob:pdf/cultivating_creative_commons_Tsiavos_2007.pdf>
1073 + :library library:cultivating_creative_commons_Tsiavos_2007 ;
1074 + :primary_source "http://etheses.lse.ac.uk/264/1/Tsiavos_Cultivating%20creative%20commons.pdf" ;
1075 + :primary_source_retrieved "2023-03-23" ;
1076 + :type "PDF" .
1077 +
1078 + <dokk:blob:pdf/olpc_software_roadmap_2008.pdf>
1079 + :library library:olpc_software_roadmap_2008 ;
1080 + :primary_source "http://download.laptop.org/content/conf/20080520-country-wkshp/Presentations/OLPC%20Country%20Meeting%20-%20Day%203%20-%20May%2022nd,%202008/Country_Mtg_Roadmap_May2008.pdf" ;
1081 + :primary_source_retrieved "2023-03-23" ;
1082 + :type "PDF" .
1083 +
1084 + <dokk:blob:pdf/xubuntu_documentation_2017.pdf>
1085 + :library library:xubuntu_documentation_2017 ;
1086 + :primary_source "https://docs.xubuntu.org/1810/user/en_GB/xubuntu-documentation-USletter.pdf" ;
1087 + :primary_source_retrieved "2023-03-23" ;
1088 + :type "PDF" .
1089 +
1090 + <dokk:blob:pdf/appstream_description_for_all_distros_Gnatenko.pdf>
1091 + :library library:appstream_description_for_all_distros_Gnatenko ;
1092 + :primary_source "https://ignatenkobrain.fedorapeople.org/events/Fedora%2021%20Release%20Party%20(Moscow,%20Russia)/AppStream%20-%20Description%20for%20all%20distros.pdf" ;
1093 + :primary_source_retrieved "2023-03-23" ;
1094 + :type "PDF" .
1095 +
1096 + <dokk:blob:pdf/wikimedia_commons_2017.pdf>
1097 + :library library:wikimedia_commons_2017 ;
1098 + :primary_source "https://upload.wikimedia.org/wikipedia/commons/0/0c/Wikimedia_Commons_web_en.pdf" ;
1099 + :primary_source_retrieved "2023-03-23" ;
1100 + :type "PDF" .
1101 +
1102 + <dokk:blob:pdf/integrating_librelffice_gnome_documents_GUADEC_2015.pdf>
1103 + :library library:integrating_librelffice_gnome_documents_GUADEC_2015 ;
1104 + :primary_source "https://mmohrhard.files.wordpress.com/2015/08/integrating-libreoffice-with-gnome-documents.pdf" ;
1105 + :primary_source_retrieved "2023-03-23" ;
1106 + :type "PDF" .
1107 +
1108 + <dokk:blob:pdf/arch_linux_magazine_1_2009.pdf>
1109 + :library library:arch_linux_magazine_1_2009 ;
1110 + :primary_source "http://web.archive.org/web/20090824101804/https://archlinux.org/static/newsletters/ALM-2009-Aug.pdf" ;
1111 + :primary_source_retrieved "2023-03-23" ;
1112 + :type "PDF" .
1113 +
1114 + <dokk:blob:pdf/stand_up_for_the_gnu_gpl_libreplanet_2015.pdf>
1115 + :library library:stand_up_for_the_gnu_gpl_libreplanet_2015 ;
1116 + :primary_source "https://media.libreplanet.org/mgoblin_media/media_entries/98/karen-sandler-slides.pdf" ;
1117 + :primary_source_retrieved "2023-03-23" ;
1118 + :type "PDF" .
1119 +
1120 + <dokk:blob:pdf/the_laughing_giant_secret_Schmeer_2011.pdf>
1121 + :library library:the_laughing_giant_secret_Schmeer_2011 ;
1122 + :primary_source "http://blogs.jccc.edu/schmeer/files/2013/09/TheLaughingGiantsSecret.pdf" ;
1123 + :primary_source_retrieved "2023-03-23" ;
1124 + :type "PDF" .
1125 +
1126 + <dokk:blob:pdf/lazzer_bears_Schmeer_2012.pdf>
1127 + :library library:lazzer_bears_Schmeer_2012 ;
1128 + :primary_source "http://blogs.jccc.edu/schmeer/files/2013/09/LazzerBears.pdf" ;
1129 + :primary_source_retrieved "2023-03-23" ;
1130 + :type "PDF" .
1131 +
1132 + <dokk:blob:pdf/the_wizard_in_the_woods_is_up_to_something_Schmeer_2013.pdf>
1133 + :library library:the_wizard_in_the_woods_is_up_to_something_Schmeer_2013 ;
1134 + :primary_source "http://blogs.jccc.edu/schmeer/files/2013/09/Wizard_in_the_Woods.pdf" ;
1135 + :primary_source_retrieved "2023-03-23" ;
1136 + :type "PDF" .
1137 +
1138 + <dokk:blob:pdf/dungeons_dragons_srd_v5.1.pdf>
1139 + :library library:dungeons_dragons_srd_v5.1 ;
1140 + :primary_source "https://www.dndbeyond.com/attachments/39j2li89/SRD5.1-CCBY4.0_License_live%20links.pdf" ;
1141 + :primary_source_retrieved "2023-03-23" ;
1142 + :type "PDF" .
1143 +
1144 + <dokk:blob:pdf/quick_start_guide_for_the_librem_laptops.pdf>
1145 + :library library:quick_start_guide_for_the_librem_laptops ;
1146 + :primary_source "https://docs.puri.sm/_downloads/afa76bd8033d3a88d4063da4cf35542b/Librem-laptops-Quick-Start-Guide-1.0.0.pdf" ;
1147 + :primary_source_retrieved "2023-03-23" ;
1148 + :type "PDF" .
1149 +
1150 + <dokk:blob:pdf/governance_of_massive_multiauthor_collaboration.pdf>
1151 + :library library:governance_of_massive_multiauthor_collaboration ;
1152 + :primary_source "http://www.rechtstheorie.uni-koeln.de/wp-content/uploads/JIPITEC-2-Wielsch-Governance.pdf" ;
1153 + :primary_source_retrieved "2023-03-23" ;
1154 + :type "PDF" .
1155 +
1156 + <dokk:blob:pdf/the_gnome3_desktop_and_you_2011.pdf>
1157 + :library library:the_gnome3_desktop_and_you_2011 ;
1158 + :primary_source "https://honk.sigxcpu.org/piki/agx/publications/2011-08-gnome3-froscon.pdf" ;
1159 + :primary_source_retrieved "2023-03-23" ;
1160 + :type "PDF" .
1161 +
1162 + <dokk:blob:pdf/set_up_and_use_mobile_hotspots_Thoms_v1.0.pdf>
1163 + :library library:set_up_and_use_mobile_hotspots_Thoms_v1.0 ;
1164 + :primary_source "https://dl.min.uni-hamburg.de/en/guides/mobile-hotspot/page.pdf" ;
1165 + :primary_source_retrieved "2023-03-23" ;
1166 + :type "PDF" .
1167 +
1168 + <dokk:blob:pdf/kinesynth_patching_modulating_mixing_MIT_2018.pdf>
1169 + :library library:kinesynth_patching_modulating_mixing_MIT_2018 ;
1170 + :primary_source "https://resenv.media.mit.edu/pubs/papers/kinesynth-NIME18.pdf" ;
1171 + :primary_source_retrieved "2023-03-23" ;
1172 + :type "PDF" .
1173 +
1174 + <dokk:blob:pdf/bureau_3D_sous_Linux_avec_gnome_et_xgl_2006.pdf>
1175 + :library library:bureau_3D_sous_Linux_avec_gnome_et_xgl_2006 ;
1176 + :primary_source "https://download.tuxfamily.org/actux/presentations/20061019-gnome-3d.pdf" ;
1177 + :primary_source_retrieved "2023-03-23" ;
1178 + :type "PDF" .
1179 +
1180 + <dokk:blob:pdf/functional_reactive_programming_without_space_leaks_haskell_2022.pdf>
1181 + :library library:functional_reactive_programming_without_space_leaks_haskell_2022 ;
1182 + :primary_source "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9BE20E8D61E9B74811CF3CF97B5D10C7/S0956796822000132a.pdf/modal-frp-for-all-functional-reactive-programming-without-space-leaks-in-haskell.pdf" ;
1183 + :primary_source_retrieved "2023-03-23" ;
1184 + :type "PDF" .
1185 +
1186 + <dokk:blob:pdf/following_the_grammar_with_haskell_Leavens_2013.pdf>
1187 + :library library:following_the_grammar_with_haskell_Leavens_2013 ;
1188 + :primary_source "https://www.cs.ucf.edu/~leavens/COP4020/docs/follow-grammar-haskell.pdf" ;
1189 + :primary_source_retrieved "2023-03-23" ;
1190 + :type "PDF" .
1191 +
1192 + <dokk:blob:pdf/persistent_software_transactional_memory_in_haskell_ACM_2021.pdf>
1193 + :library library:persistent_software_transactional_memory_in_haskell_ACM_2021 ;
1194 + :primary_source "https://dl.acm.org/doi/pdf/10.1145/3473568" ;
1195 + :primary_source_retrieved "2023-03-23" ;
1196 + :type "PDF" .
1197 +
1198 + <dokk:blob:pdf/overcoming_non_distributivity_TFPIE_2017.pdf>
1199 + :library library:overcoming_non_distributivity_TFPIE_2017 ;
1200 + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_7.pdf" ;
1201 + :primary_source_retrieved "2023-03-23" ;
1202 + :type "PDF" .
1203 +
1204 + <dokk:blob:pdf/enhancing_learning_experience_TFPIE_2017.pdf>
1205 + :library library:enhancing_learning_experience_TFPIE_2017 ;
1206 + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_3.pdf" ;
1207 + :primary_source_retrieved "2023-03-23" ;
1208 + :type "PDF" .
1209 +
1210 + <dokk:blob:pdf/using_elm_to_introduce_algebraic_thinking_TFPIE_2017.pdf>
1211 + :library library:using_elm_to_introduce_algebraic_thinking_TFPIE_2017 ;
1212 + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_2.pdf" ;
1213 + :primary_source_retrieved "2023-03-23" ;
1214 + :type "PDF" .
1215 +
1216 + <dokk:blob:pdf/functional_baby_talk_TFPIE_2017.pdf>
1217 + :library library:functional_baby_talk_TFPIE_2017 ;
1218 + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_5.pdf" ;
1219 + :primary_source_retrieved "2023-03-23" ;
1220 + :type "PDF" .
1221 +
1222 + <dokk:blob:pdf/teaching_erlang_through_the_internet_TFPIE_2017.pdf>
1223 + :library library:teaching_erlang_through_the_internet_TFPIE_2017 ;
1224 + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_6.pdf" ;
1225 + :primary_source_retrieved "2023-03-23" ;
1226 + :type "PDF" .
1227 +
1228 + <dokk:blob:pdf/law_and_technology_in_the_US_law_school_industry_2022.pdf>
1229 + :library library:law_and_technology_in_the_US_law_school_industry_2022 ;
1230 + :primary_source "https://www.degruyter.com/document/doi/10.1515/gj-2022-0010/pdf" ;
1231 + :primary_source_retrieved "2023-03-23" ;
1232 + :type "PDF" .
1233 +
1234 + <dokk:blob:pdf/relativistic_programming_in_haskell_PDX_2016.pdf>
1235 + :library library:relativistic_programming_in_haskell_PDX_2016 ;
1236 + :primary_source "http://web.cecs.pdx.edu/~theod/papers/haskell2015.pdf" ;
1237 + :primary_source_retrieved "2023-03-23" ;
1238 + :type "PDF" .
1239 +
1240 + <dokk:blob:pdf/dependently_typed_haskell_in_industry_ACM_2019.pdf>
1241 + :library library:dependently_typed_haskell_in_industry_ACM_2019 ;
1242 + :primary_source "https://www.davidchristiansen.dk/pubs/dependent-haskell-experience-report.pdf" ;
1243 + :primary_source_retrieved "2023-03-23" ;
1244 + :type "PDF" .
1245 +
1246 + <dokk:blob:pdf/haskell_for_ocaml_programmers_2022-05-02.pdf>
1247 + :library library:haskell_for_ocaml_programmers_2022-05-02 ;
1248 + :primary_source "https://dr-knz.net/haskell-for-ocaml-programmers.pdf" ;
1249 + :primary_source_retrieved "2023-03-23" ;
1250 + :type "PDF" .
1251 +
1252 + <dokk:blob:pdf/basic_haskell_cheat_sheet_Matela_2021.pdf>
1253 + :library library:basic_haskell_cheat_sheet_Matela_2021 ;
1254 + :primary_source "https://matela.com.br/haskell-cs.pdf" ;
1255 + :primary_source_retrieved "2023-03-23" ;
1256 + :type "PDF" .
1257 +
1258 + <dokk:blob:pdf/application_patterns_in_functional_languages_Oosterhof_2005.pdf>
1259 + :library library:application_patterns_in_functional_languages_Oosterhof_2005 ;
1260 + :primary_source "http://essay.utwente.nl/57656/1/scriptie_Oosterhof.pdf" ;
1261 + :primary_source_retrieved "2023-03-23" ;
1262 + :type "PDF" .
1263 +
1264 + <dokk:blob:pdf/hlola_2021.pdf>
1265 + :library library:hlola_2021 ;
1266 + :primary_source "https://software.imdea.org/~cesar/papers/2021/gorostiaga21hlola/gorostiaga21hlola.pdf" ;
1267 + :primary_source_retrieved "2023-03-23" ;
1268 + :type "PDF" .
1269 +
1270 + <dokk:blob:pdf/the_idris_tutorial_v1.3.3.pdf>
1271 + :library library:the_idris_tutorial_v1.3.3 ;
1272 + :primary_source "https://docs.idris-lang.org/_/downloads/en/latest/pdf/" ;
1273 + :primary_source_retrieved "2023-03-23" ;
1274 + :type "PDF" .
1275 +
1276 + <dokk:blob:pdf/markedly_Meta_2017.pdf>
1277 + :library library:markedly_Meta_2017 ;
1278 + :primary_source "https://tupl.cs.tufts.edu/papers/meta17-final2.pdf" ;
1279 + :primary_source_retrieved "2023-03-23" ;
1280 + :type "PDF" .
1281 +
1282 + <dokk:blob:pdf/verifying_replicated_data_types_with_typeclass_refinements_liquid_haskell_2020.pdf>
1283 + :library library:verifying_replicated_data_types_with_typeclass_refinements_liquid_haskell_2020 ;
1284 + :primary_source "http://www.cs.umd.edu/~mwh/papers/lh-typeclasses.pdf" ;
1285 + :primary_source_retrieved "2023-03-23" ;
1286 + :type "PDF" .
1287 +
1288 + <dokk:blob:pdf/data_types_as_quotients_of_polynomial_functors_ITP_2019.pdf>
1289 + :library library:data_types_as_quotients_of_polynomial_functors_ITP_2019 ;
1290 + :primary_source "http://www.contrib.andrew.cmu.edu/~avigad/Papers/qpf.pdf" ;
1291 + :primary_source_retrieved "2023-03-23" ;
1292 + :type "PDF" .
1293 +
1294 + <dokk:blob:pdf/logic_for_exact_real_arithmetic_2021.pdf>
1295 + :library library:logic_for_exact_real_arithmetic_2021 ;
1296 + :primary_source "https://lmcs.episciences.org/7383/pdf" ;
1297 + :primary_source_retrieved "2023-03-23" ;
1298 + :type "PDF" .
1299 +
1300 + <dokk:blob:pdf/principles_of_programming_languages_Pradella_2019.pdf>
1301 + :library library:principles_of_programming_languages_Pradella_2019 ;
1302 + :primary_source "https://pradella.faculty.polimi.it/PL/Haskell.pdf" ;
1303 + :primary_source_retrieved "2023-03-23" ;
1304 + :type "PDF" .
+327/-0 M   data/library.ttl
index 8b26edc..4715149
old size: 33K - new size: 45K
@@ -806,3 +806,330 @@ prefix license: <dokk:license:>
806 806 :license license:CC-BY-4.0 ;
807 807 :author "Rachel Kowert", "Eve Crevoshay" ;
808 808 :site "https://f1000research.com/articles/11-1518/v2" .
809 +
810 + :python_3_cheat_sheet_v2.0.6_en
811 + :title "Python 3 Cheat Sheet" ;
812 + :license license:CC-BY-4.0 ;
813 + :author "Laurent Pointal" .
814 +
815 + :python_jump_start_Brown_2022
816 + :title "Python Jump Start" ;
817 + :license license:CC-BY-SA-4.0 ;
818 + :author "Bob Brown" .
819 +
820 + :python_web_development_brief_introduction_Wachtler_2021
821 + :title "Python for Web Development: A brief Introduction" ;
822 + :license license:CC-BY-4.0, license:CC-BY-SA-4.0 ;
823 + :author "Josef Wachtler" .
824 +
825 + :integrating_graph_builder_into_python_tutor_2021
826 + :title "Integrating a Graph Builder into Python Tutor" ;
827 + :license license:CC-BY-4.0 ;
828 + :author "Diogo Soares", "Maria João Varanda Pereira", "Pedro Rangel Henriques" .
829 +
830 + :20_years_kde
831 + :title "20 Years of KDE: Past, Present and Future" ;
832 + :license license:CC-BY-SA-3.0 ;
833 + :author "Sandro Andrade", "Sanjiban Bairagya", "Pradeepto Bhattacharya", "Mirko Boehm", "Scarlett Clark", "Ben Cooksley", "Andreas Cord-Landwehr", "Matthias Ettrich", "David Faure", "Mario Fux", "Tim- oth ́ee Giet", "Frederik Gladhorn", "Martin Gr ̈aßlin", "Boudhayan Gupta", "Dani Guti ́errez Porset", "Vishesh Handa", "Riccardo Iaconelli", "Volker Krause", "Sebastian K ̈ugler", "Sinny Kumari", "Antonio Larrosa", "Richard J. Moore", "David Narv ́aez", "Baltasar Ortega", "K ́evin Ottens", "Thomas Pfeiffer", "Nuno Pinheiro", "Lydia Pintscher", "Aleix Pol i Gonz`alez", "Jens Reuterberg", "Cornelius Schumacher", "Bhushan Shah", "Yash Shah", "Aracele Torres", "Albert Vaca", "Sune Vuorela", "Franklin Weng", "Valorie Zimmerman" .
834 +
835 + :forensic_face_recognition_kde_evidence_theory_2021
836 + :title "Forensic face recognition based on KDE and evidence theory" ;
837 + :license license:CC-BY-4.0 ;
838 + :author "Wen Xiao" .
839 +
840 + :kde_sc_4_gbb
841 + :title "KDE SC 4" ;
842 + :license license:CC-BY-SA-3.0 ;
843 + :author "" .
844 +
845 + :creative_commons_newsletter_1
846 + :title "Creative Commons Newsletter No.1" ;
847 + :license license:CC-BY-3.0 ;
848 + :author "" .
849 +
850 + :creative_commons_newsletter_2
851 + :title "Creative Commons Newsletter No.2" ;
852 + :license license:CC-BY-3.0 ;
853 + :author "" .
854 +
855 + :creative_commons_newsletter_3
856 + :title "Creative Commons Newsletter No.3" ;
857 + :license license:CC-BY-3.0 ;
858 + :author "" .
859 +
860 + :creative_commons_newsletter_4
861 + :title "Creative Commons Newsletter No.4" ;
862 + :license license:CC-BY-3.0 ;
863 + :author "" .
864 +
865 + :creative_commons_newsletter_5
866 + :title "Creative Commons Newsletter No.5" ;
867 + :license license:CC-BY-3.0 ;
868 + :author "" .
869 +
870 + :creative_commons_newsletter_6
871 + :title "Creative Commons Newsletter No.6" ;
872 + :license license:CC-BY-3.0 ;
873 + :author "" .
874 +
875 + :creative_commons_newsletter_7
876 + :title "Creative Commons Newsletter No.7" ;
877 + :license license:CC-BY-3.0 ;
878 + :author "" .
879 +
880 + :creative_commons_newsletter_8
881 + :title "Creative Commons Newsletter No.8" ;
882 + :license license:CC-BY-3.0 ;
883 + :author "" .
884 +
885 + :creative_commons_newsletter_9
886 + :title "Creative Commons Newsletter No.9" ;
887 + :license license:CC-BY-3.0 ;
888 + :author "" .
889 +
890 + :creative_commons_newsletter_10
891 + :title "Creative Commons Newsletter No.10" ;
892 + :license license:CC-BY-3.0 ;
893 + :author "" .
894 +
895 + :creative_commons_newsletter_11
896 + :title "Creative Commons Newsletter No.11" ;
897 + :license license:CC-BY-3.0 ;
898 + :author "" .
899 +
900 + :creative_commons_newsletter_12
901 + :title "Creative Commons Newsletter No.12" ;
902 + :license license:CC-BY-3.0 ;
903 + :author "" .
904 +
905 + :creative_commons_newsletter_13
906 + :title "Creative Commons Newsletter No.13" ;
907 + :license license:CC-BY-3.0 ;
908 + :author "" .
909 +
910 + :creative_commons_newsletter_14
911 + :title "Creative Commons Newsletter No.14" ;
912 + :license license:CC-BY-3.0 ;
913 + :author "" .
914 +
915 + :creative_commons_newsletter_15
916 + :title "Creative Commons Newsletter No.15" ;
917 + :license license:CC-BY-3.0 ;
918 + :author "" .
919 +
920 + :creative_commons_newsletter_16
921 + :title "Creative Commons Newsletter No.16" ;
922 + :license license:CC-BY-3.0 ;
923 + :author "" .
924 +
925 + :creative_commons_newsletter_17
926 + :title "Creative Commons Newsletter No.17" ;
927 + :license license:CC-BY-3.0 ;
928 + :author "" .
929 +
930 + :glycan_naming_subsumption_ontology_2021
931 + :title "GNOme – Glycan Naming and Subsumption Ontology" ;
932 + :license license:CC-BY-4.0 ;
933 + :author "Wenjin Zhang", "Nathan J. Edwards" .
934 +
935 + :cultivating_creative_commons_Tsiavos_2007
936 + :title "Cultivating Creative Commons: From Creative Regulation to Regulatory Commons" ;
937 + :license license:CC-BY-2.0 ;
938 + :author "Prodromos Tsiavos" .
939 +
940 + :olpc_software_roadmap_2008
941 + :title "OLPC Software Roadmap" ;
942 + :license license:CC-BY-2.5 ;
943 + :author "" .
944 +
945 + :xubuntu_documentation_2017
946 + :title "Xubuntu Documentation" ;
947 + :license license:CC-BY-SA-2.5 ;
948 + :author "" .
949 +
950 + :appstream_description_for_all_distros_Gnatenko
951 + :title "AppStream - Description for all distros" ;
952 + :license license:CC-BY-SA-4.0 ;
953 + :author "Igor Gnatenko" .
954 +
955 + :wikimedia_commons_2017
956 + :title "Wikimedia Commons" ;
957 + :license license:CC-BY-4.0 ;
958 + :author "Wikimedia Deutschland" .
959 +
960 + :integrating_librelffice_gnome_documents_GUADEC_2015
961 + :title "Integrating LibreOffice with Gnome Documents" ;
962 + :license license:CC-BY-SA-3.0 ;
963 + :author "Markus Mohrhard", "Pranav Kant" .
964 +
965 + :arch_linux_magazine_1_2009
966 + :title "Arch Linux Magazine Issue #1" ;
967 + :license license:CC-BY-SA-3.0 ;
968 + :author "" .
969 +
970 + :stand_up_for_the_gnu_gpl_libreplanet_2015
971 + :title "Stand Up for the GNU GPL!" ;
972 + :license license:CC-BY-SA-4.0 ;
973 + :author "Karen M. Sandler" .
974 +
975 + :the_laughing_giant_secret_Schmeer_2011
976 + :title "The Laughing Giant’s Secret" ;
977 + :license license:CC-BY-SA-3.0 ;
978 + :author "Matthew W. Schmeer" .
979 +
980 + :lazzer_bears_Schmeer_2012
981 + :title "Lazzer Bears!?! For teh win: an unsuitable adventure for characters of any level" ;
982 + :license license:CC-BY-SA-3.0 ;
983 + :author "Matthew W. Schmeer" .
984 +
985 + :the_wizard_in_the_woods_is_up_to_something_Schmeer_2013
986 + :title "The Wizard in the Woods is Up to Something (Maybe)" ;
987 + :license license:CC-BY-SA-3.0 ;
988 + :author "Matthew W. Schmeer" .
989 +
990 + :dungeons_dragons_srd_v5.1
991 + :title "Dungeons & Dragons Systems Reference Document v5.1" ;
992 + :license license:CC-BY-4.0 ;
993 + :author "Wizards of the Coast LLC" ;
994 + :site "https://dnd.wizards.com/resources/systems-reference-document" .
995 +
996 + :quick_start_guide_for_the_librem_laptops
997 + :title "Quick Start Guide for the Librem laptops" ;
998 + :license license:CC-BY-SA-4.0 ;
999 + :author "Purism SPC." .
1000 +
1001 + :governance_of_massive_multiauthor_collaboration
1002 + :title "Governance of Massive Multiauthor Collaboration" ;
1003 + :license license:CC-BY-SA-3.0 ;
1004 + :author "Dan Wielsch" .
1005 +
1006 + :the_gnome3_desktop_and_you_2011
1007 + :title "The GNOME3 Desktop and You" ;
1008 + :license license:CC-BY-SA-3.0 ;
1009 + :author "Guido Günther" .
1010 +
1011 + :set_up_and_use_mobile_hotspots_Thoms_v1.0
1012 + :title "Set up and use mobile hotspots" ;
1013 + :license license:CC-BY-SA-4.0 ;
1014 + :author "Lars Thoms" .
1015 +
1016 + :kinesynth_patching_modulating_mixing_MIT_2018
1017 + :title "Kinesynth: Patching, Modulating, and Mixing a Hybrid Kinesthetic Synthesizer" ;
1018 + :license license:CC-BY-4.0 ;
1019 + :author "Don Derek Haddad", "Joseph A. Paradiso" .
1020 +
1021 + :bureau_3D_sous_Linux_avec_gnome_et_xgl_2006
1022 + :title "Bureau 3D sous Linux avec Gnome et Xgl" ;
1023 + :license license:CC-BY-SA ;
1024 + :author "Erwan Leherisse", "Christophe Hauser" .
1025 +
1026 + :functional_reactive_programming_without_space_leaks_haskell_2022
1027 + :title "Modal FRP for all: Functional reactive programming without space leaks in Haskell" ;
1028 + :license license:CC-BY-4.0 ;
1029 + :author "Patrick Bahr" .
1030 +
1031 + :following_the_grammar_with_haskell_Leavens_2013
1032 + :title "Following the Grammar with Haskell" ;
1033 + :license license:CC-BY-2.0 ;
1034 + :author "Gary T. Leavens" .
1035 +
1036 + :persistent_software_transactional_memory_in_haskell_ACM_2021
1037 + :title "Persistent Software Transactional Memory in Haskell" ;
1038 + :license license:CC-BY-4.0 ;
1039 + :author "Nicolas Krauter", "Patrick Raaf", "Peter Braam", "Reza Salkhordeh", "Sebastian Erdweg", "André Brinkmann" .
1040 +
1041 + :overcoming_non_distributivity_TFPIE_2017
1042 + :title "Overcoming Non Distributivity: A Case Study in Functional Programming" ;
1043 + :license license:CC-BY-3.0 ;
1044 + :author "Juan Carlos Saenz-Carrasco", "Mike Stannett" ;
1045 + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" .
1046 +
1047 + :enhancing_learning_experience_TFPIE_2017
1048 + :title "Enhancing the Learning Experience on Programming-focused Courses via Electronic Assessment Tools (Extended Abstract)" ;
1049 + :license license:CC-BY-3.0 ;
1050 + :author "Hans-Wolfgang Loidl", "Phil Barker", "Sanusi S. Usman" ;
1051 + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" .
1052 +
1053 + :using_elm_to_introduce_algebraic_thinking_TFPIE_2017
1054 + :title "Using Elm to Introduce Algebraic Thinking to K-8 Students" ;
1055 + :license license:CC-BY-3.0 ;
1056 + :author "Curtis d’Alves", "Tanya Bouman", "Christopher Schankula", "Jenell Hogg", "Levin Noronha", "Emily Horsman", "Rumsha Siddiqui", "Christopher Kumar Anand" ;
1057 + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" .
1058 +
1059 + :functional_baby_talk_TFPIE_2017
1060 + :title "Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers" ;
1061 + :license license:CC-BY-3.0 ;
1062 + :author "Jeremy Singer", "Blair Archibald" ;
1063 + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" .
1064 +
1065 + :teaching_erlang_through_the_internet_TFPIE_2017
1066 + :title "Teaching Erlang through the Internet: An experience report" ;
1067 + :license license:CC-BY-3.0 ;
1068 + :author "Stephen Adams" ;
1069 + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" .
1070 +
1071 + :law_and_technology_in_the_US_law_school_industry_2022
1072 + :title "Law and Technology in the US Law School Industry" ;
1073 + :license license:CC-BY-4.0 ;
1074 + :author "Jessica L. H. Fish", "John D. Haskell" .
1075 +
1076 + :relativistic_programming_in_haskell_PDX_2016
1077 + :title "Relativistic Programming in Haskell" ;
1078 + :license license:CC-BY-4.0 ;
1079 + :author "Ted Cooper", "Jonathan Walpole" .
1080 +
1081 + :dependently_typed_haskell_in_industry_ACM_2019
1082 + :title "Dependently Typed Haskell in Industry (Experience Report)" ;
1083 + :license license:CC-BY-4.0 ;
1084 + :author "David Thrane Christiansen", "Iavor S. Diatchki", "Robert Dockins", "Joe Hendrix", "Tristan Ravitch" .
1085 +
1086 + :haskell_for_ocaml_programmers_2022-05-02
1087 + :title "Haskell for OCaml programmers" ;
1088 + :license license:CC-BY-SA-4.0 ;
1089 + :author "Raphael ‘kena’ Poss" ;
1090 + :site "https://dr-knz.net/haskell-for-ocaml-programmers.html" .
1091 +
1092 + :basic_haskell_cheat_sheet_Matela_2021
1093 + :title "Basic Haskell Cheat Sheet" ;
1094 + :license license:CC-BY-SA-3.0 , license:GFDL-1.3-or-later ;
1095 + :author "Rudy Matela" .
1096 +
1097 + :application_patterns_in_functional_languages_Oosterhof_2005
1098 + :title "Application Patterns in Functional Languages" ;
1099 + :license license:CC-BY-SA-2.0 ;
1100 + :author "Nikolaas N. Oosterhof" .
1101 +
1102 + :hlola_2021
1103 + :title "HLola: a Very Functional Tool for Extensible Stream Runtime Verification" ;
1104 + :license license:CC-BY-4.0 ;
1105 + :author "Felipe Gorostiaga", "César Sánchez" .
1106 +
1107 + :the_idris_tutorial_v1.3.3
1108 + :title "The Idris Tutorial v1.3.3" ;
1109 + :license license:CC0-1.0 ;
1110 + :author "" .
1111 +
1112 + :markedly_Meta_2017
1113 + :title "Markedly - A cartographic approach for mapping eDSL implementation costs" ;
1114 + :license license:CC-BY-4.0 ;
1115 + :author "Matthew P. Ahrens", "Karl Cronburg", "Jeanne-Marie Musca" .
1116 +
1117 + :verifying_replicated_data_types_with_typeclass_refinements_liquid_haskell_2020
1118 + :title "Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell" ;
1119 + :license license:CC-BY-4.0 ;
1120 + :author "Yiyun Liu", "James Parker", "Patrick Redmond", "Lindsey Kuper", "Michael Hicks", "Niki Vazou" .
1121 +
1122 + :data_types_as_quotients_of_polynomial_functors_ITP_2019
1123 + :title "Data types as quotients of polynomial functors" ;
1124 + :license license:CC-BY-3.0 ;
1125 + :author "Jeremy Avigad", "Mario Carneiro", "Simon Hudon" .
1126 +
1127 + :logic_for_exact_real_arithmetic_2021
1128 + :title "Logic for exact real arithmetic" ;
1129 + :license license:CC-BY-4.0 ;
1130 + :author "Helmut Schwichtenberg", "Franziskus Wiesnet" .
1131 +
1132 + :principles_of_programming_languages_Pradella_2019
1133 + :title "Principles of Programming Languages (H)" ;
1134 + :license license:CC-BY-SA-3.0 ;
1135 + :author "Matteo Pradella" .