14 results
Core data structures and operations
Constraint manipulation
Monad classes for transformers, using functional dependencies
Pseudo-random number generation
A DSL for creating neural network.