🍳
Highlights
- Pro
Stars
10
results
for source starred repositories
written in Haskell
Clear filter
A friendly programming language from the future
Agda is a dependently typed programming language / interactive theorem prover.
Minimal implementations for dependent type checking and elaboration
A demo implementation of a simple dependently-typed language
An arbitrary-precision differentiable programming language.
Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"
A probabilistic programming language for streaming inference