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/paradigm/probabilistic_programming.md | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'documentation/research/paradigm/probabilistic_programming.md')

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/
-- 
cgit v1.2.3