Programming is like drinking tea.
A simple ML-like programming language with subtyping and full type infer...
A minimalist type-inferred programming language with procedural macro su...
Hypertypes - generic programming for heterogeneous recursive types
The Ntha Programming Language
Normalization by evaluation for Martin-Löf Type Theory with dependent re...
An implementation of a predicative polymorphic language with bidirection...
A compiler from a small functional language to C. Especially features al...
Swift type checking and semantic analysis for developer tools
A pure functional type-inferred language based on JavaScript
Expressions Evaluator for .NET
Probabilistic Type Inference using Graph Neural Networks
A Hindley-Milner polymorphic typing system
Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP ...
Safen is a top-performing validation and sanitization library with easy ...