Multi-language guide to type-safety techniques. What each type system feature enforces, across Python, Rust, Scala 3, and Lean 4. Installable as a Claude Code plugin.
☆42Aug 2, 2026Updated 3 months ago
Alternatives and similar repositories for vibe-types
Users that are interested in vibe-types are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- jni bindings to aten from libtorch☆11Apr 20, 2025Updated last year
- LLM inference on Apple Silicon from Scala Native, powered by MLX☆23Mar 5, 2026Updated 8 months ago
- A scala 3 tree explorer for the reflect module☆53Nov 3, 2024Updated 2 years ago
- Smithy4s client directly using Fetch APIs, without bringing http4s/cats, to dramatically reduce bundle size☆14Jun 1, 2026Updated 5 months ago
- Minimalistic Scala LSP☆11Oct 18, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Friendly fork of Scala.js, with Wasm Component Model support☆45Updated this week
- Scala library for processing graphs.☆13Mar 12, 2026Updated 8 months ago
- Refactoring Generator of Source Code for Scala☆25Oct 26, 2026Updated 2 weeks ago
- TACIT — Tracked Agent Capabilities In Types☆148Oct 15, 2026Updated 3 weeks ago
- Minimal Metals stand alone client that allows running the metals mcp server☆37Mar 4, 2026Updated 8 months ago
- A macro-based library for writing efficient and readable null-safe code in Scala.☆44Apr 29, 2026Updated 6 months ago
- JDBC Implementation for Scala Native☆16Oct 22, 2026Updated 3 weeks ago
- Reference interpreter for TASTy, the Scala 3 interchange format☆13Feb 3, 2023Updated 3 years ago
- Existential Optics Library for Scala3 based on cats☆27Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The first Scala macros' standard library☆166Updated this week
- A Devise-like authentication library for Http4s☆15Aug 7, 2026Updated 3 months ago
- Extensible records for Scala☆68Jun 28, 2026Updated 4 months ago
- ShipReq☆51Updated this week
- ☆15Oct 28, 2026Updated 2 weeks ago
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆45Jun 24, 2026Updated 4 months ago
- Parse ASCII art diagrams of graphs (nodes and edges)☆13Apr 1, 2022Updated 4 years ago
- deep learning and scientific computing framework with native CPU and GPU backend for the Scala programming language☆33Apr 22, 2025Updated last year
- Full stack Scala 3 with Smithy4s☆10Sep 27, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Scala Native toolchain without the JVM☆32Updated this week
- ☆18Sep 10, 2026Updated 2 months ago
- A Scala library for rolling dice and analyzing probability distributions☆35Apr 20, 2020Updated 6 years ago
- Create React Native apps in Scala with Scala.js, Slinky, and Expo☆30Jun 16, 2021Updated 5 years ago
- Functional abstractions for Kubernetes leases in Scala☆12Dec 13, 2024Updated last year
- Simple, Business-friendly Decisions Engine for Scala☆85Oct 26, 2026Updated 2 weeks ago
- Scala library for readable diffs of values☆108Updated this week
- Example on how to use Vite with Scala.js☆10Nov 4, 2026Updated last week
- Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.☆26Jun 1, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A JavaScript environment for Scala.js (JSEnv) running playwright☆11Oct 6, 2026Updated last month
- The workshop materials for the course on Scala 3 metaprogramming.☆15Oct 30, 2023Updated 3 years ago
- ☆18Nov 11, 2024Updated 2 years ago
- ☆51Oct 29, 2026Updated 2 weeks ago
- Scala 3 client for pgmq (Postgres Message Queue)☆39Oct 19, 2026Updated 3 weeks ago
- Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test…☆23Nov 2, 2026Updated last week
- ☆27May 14, 2026Updated 5 months ago
Are these results useful?