aboutsummaryrefslogtreecommitdiff
path: root/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'documentation')
-rw-r--r--documentation/research/Security.md4
-rw-r--r--documentation/research/back-end/native.md1
-rw-r--r--documentation/research/paradigm/probabilistic_programming.md5
-rw-r--r--documentation/research/web_framework.md1
4 files changed, 11 insertions, 0 deletions
diff --git a/documentation/research/Security.md b/documentation/research/Security.md
index f4f7afb61..b9d45faff 100644
--- a/documentation/research/Security.md
+++ b/documentation/research/Security.md
@@ -1,3 +1,7 @@
+# Homomorphic encryption
+
+1. https://github.com/Microsoft/SEAL
+
# Privacy
1. https://privacypatterns.org/
diff --git a/documentation/research/back-end/native.md b/documentation/research/back-end/native.md
index 7631b0d5e..ec1ba689d 100644
--- a/documentation/research/back-end/native.md
+++ b/documentation/research/back-end/native.md
@@ -57,6 +57,7 @@
# Reference
+1. [Executables - Linking and Loading](https://github.com/MattPD/cpplinks/blob/master/executables.linking_loading.md)
1. http://luajit.org/
1. http://luajit.org/ext_ffi.html
1. http://luajit.org/dynasm.html
diff --git a/documentation/research/paradigm/probabilistic_programming.md b/documentation/research/paradigm/probabilistic_programming.md
index 8b75033f5..aeb4bf827 100644
--- a/documentation/research/paradigm/probabilistic_programming.md
+++ b/documentation/research/paradigm/probabilistic_programming.md
@@ -1,3 +1,7 @@
+# Library
+
+1. [Soss](https://github.com/cscherrer/Soss.jl)
+
# Ranked Programming
1. [Ranked Programming](https://github.com/tjitze/ranked-programming/blob/master/documentation/ranked_programming.pdf)
@@ -59,6 +63,7 @@
# Language
+1. [Reactive Probabilistic Programming](https://arxiv.org/abs/1908.07563)
1. https://hakaru-dev.github.io/
1. http://probcomp.csail.mit.edu/venture/
1. https://github.com/tjitze/RankPL/
diff --git a/documentation/research/web_framework.md b/documentation/research/web_framework.md
index ed293a767..2e0e54977 100644
--- a/documentation/research/web_framework.md
+++ b/documentation/research/web_framework.md
@@ -25,6 +25,7 @@
# Exemplar
+1. https://github.com/alpinejs/alpine
1. [Mint: The programming language for writing single page applications.](https://www.mint-lang.com/)
1. [root: A recursive UI resolver](https://github.com/den1k/root)
1. https://www.http4k.org/blog/meet_http4k/