Results for type_inference

type inference for sqlitex

A macro to create a view type data structure

Type-safe value container framework with unified abstractions for single values, multi-values, and named values with complete serde support

Procedural macro engine for soft_rust - Python-like ergonomics in Rust

HEDL to/from CSV conversion

Parser and input handling for soft_rust macro DSL

Runtime support library for soft_rust macros

type inference for sqlitex

A blazingly fast MCP server for code intelligence - enumerates repos, data structures, algorithms, and returns relevant code context

Checks that a program is correct using type inference

Instructional program detailing the beta reduction of typed and untyped lambda terms

Tiny ML compiler for the Z80 processor with Hindley-Milner type inference