Tag
Jev is a new AI model that omits text generation to achieve 20-200x faster responses for structured questions, utilizing TypeSafe's parallel architecture and RLCD training.
Capri v0.2.0 offers type-safe, atomic Gleam bindings for the Khepri distributed database, enabling safe data manipulation with repositories, migrations, and projections in the BEAM ecosystem.
A Rust crate that implements Galois connections for lawful, composable numeric type conversions with property-tested invariants and compile-time composition.
Bun-sqlgen is a type-safe raw SQL library for Bun that uses code generation to check queries against a live Postgres or SQLite schema, producing fully-typed, null-safe results without an ORM.
A blog post detailing the author's experience learning Lustre, a type-safe functional frontend framework for Gleam, focusing on its Model-View-Update architecture and benefits for building web applications.
Hsrs is a type-safe FFI bindings generator that allows Rust code to be called from Haskell with automatic memory management, type conversions, and Borsh serialization. It provides annotations in Rust and generates idiomatic Haskell wrappers.
TypedMemory is an experimental Java library enabling type-safe off-heap memory operations via the Foreign Function & Memory API, designed for high-performance systems programming, interop, and data-centric workloads.