From 853642c340730b3bb23c1ac87660c5c7ecbffa93 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 19 May 2020 23:46:38 -0400 Subject: Can now write TAR files. --- documentation/research/Security.md | 4 ++++ documentation/research/back-end/native.md | 1 + documentation/research/paradigm/probabilistic_programming.md | 5 +++++ documentation/research/web_framework.md | 1 + 4 files changed, 11 insertions(+) (limited to 'documentation') 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/ -- cgit v1.2.3