Probabilistic language based on pattern matching and constraint propagation, 153 examples
- algorithms
- csharp
- gamedev
- language
Repository Index
72,862 visible repositories in the index
1–3 of 3 · Most stars
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang