Tools for transparent data transformation
Collective Mind (CM) is a simple, modular, cross-platform and decentrali...
Automatic Haskell type inference from JSON input
Group related classes together. No more silos. A solution to rails dysto...
Normalization by evaluation for Martin-Löf Type Theory with dependent re...
ftor enables ML-like type-directed, functional programming with Javascri...
Logic programming, for Rust, from inside Rust.
Template for Hindley-Milner based languages