hakaru - Programming language

hakaru is a programming language created in 2014.

Source code:

git clone https://github.com/hakaru-dev/hakaru

#1287on PLDB

9Years Old

Hakaru is a simply-typed probabilistic programming language, designed for easy specification of probabilistic models and inference algorithms. This type of language is useful for the development of machine learning algorithms and stochastic modeling.

hakaru website
hakaru is developed on GitHub and has 293 stars
hakaru first developed in Indiana University and McMaster University
Read more about hakaru on the web: 1.

Example from the web:

def pulls(strength real):
    normal(strength, 1)

def winner(a real, b real):
    a_pull <~ pulls(a)
    b_pull <~ pulls(b)
    return (a_pull > b_pull)

alice <~ normal(0,1)
bob   <~ normal(0,1)
carol <~ normal(0,1)

match1 <~ winner(alice, bob)
match2 <~ winner(bob, carol)
match3 <~ winner(alice, carol)