diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/research/Security.md | 4 | ||||
| -rw-r--r-- | documentation/research/back-end/native.md | 1 | ||||
| -rw-r--r-- | documentation/research/paradigm/probabilistic_programming.md | 5 | ||||
| -rw-r--r-- | documentation/research/web_framework.md | 1 |
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/ |