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 this week
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:
- TACIT — Tracked Agent Capabilities In Types☆64Jul 23, 2026Updated last week
- Smithy4s client directly using Fetch APIs, without bringing http4s/cats, to dramatically reduce bundle size☆13Jun 1, 2026Updated 2 months ago
- A scala 3 tree explorer for the reflect module☆53Nov 3, 2024Updated last year
- LLM inference on Apple Silicon from Scala Native, powered by MLX☆22Mar 5, 2026Updated 4 months ago
- A macro-based library for writing efficient and readable null-safe code in Scala.☆44Apr 29, 2026Updated 3 months 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.
- Minimal Metals stand alone client that allows running the metals mcp server☆36Mar 4, 2026Updated 4 months ago
- Friendly fork of Scala.js, with Wasm Component Model support☆42Updated this week
- JDBC Implementation for Scala Native☆15Jun 19, 2026Updated last month
- The first Scala macros' standard library☆159Jul 15, 2026Updated 2 weeks ago
- Reference interpreter for TASTy, the Scala 3 interchange format☆13Feb 3, 2023Updated 3 years ago
- Refactoring Generator of Source Code for Scala☆25May 22, 2026Updated 2 months ago
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆45Jun 24, 2026Updated last month
- ShipReq☆51Updated this week
- ☆18Jul 8, 2026Updated 3 weeks 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.
- Create React Native apps in Scala with Scala.js, Slinky, and Expo☆30Jun 16, 2021Updated 5 years ago
- A Scala library for rolling dice and analyzing probability distributions☆35Apr 20, 2020Updated 6 years ago
- Functional abstractions for Kubernetes leases in Scala☆12Dec 13, 2024Updated last year
- Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.☆25Jun 1, 2026Updated 2 months 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…☆21Jul 26, 2026Updated last week
- Scala 3 client for pgmq (Postgres Message Queue)☆38Updated this week
- Extensible records for Scala☆68Jun 28, 2026Updated last month
- chanterelle is a library that provides a map-like DSL over named tuples. Scala 3 only. Some chanterelles are scaly.☆43Updated this week
- A JavaScript environment for Scala.js (JSEnv) running playwright☆12Jun 12, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Scala staging framework☆18Jul 13, 2018Updated 8 years ago
- ☆27May 14, 2026Updated 2 months ago
- The workshop materials for the course on Scala 3 metaprogramming.☆15Oct 30, 2023Updated 2 years ago
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Apr 7, 2026Updated 3 months ago
- Test that your DOM nodes / HTML elements match your expectations in a type-safe way☆14Jan 25, 2026Updated 6 months ago
- Extensible implementation of a Language Model (LLM) training framework in Scala.☆34Apr 9, 2024Updated 2 years ago
- open source vscode coding assistant in Scala.js☆16Dec 13, 2025Updated 7 months ago
- A Mill plugin to submit your dependency graph to the GitHub Dependency Graph API☆14Apr 18, 2025Updated last year
- Rust-like question operator for Scala☆18Feb 25, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Type-safe high-level ORM for Postgres☆20Apr 4, 2024Updated 2 years ago
- A Mill plugin to help making publishing to Sonatype from GitHub Actions easier.☆16Apr 18, 2025Updated last year
- My Generic Roguelike☆15Jan 19, 2025Updated last year
- A wrapper for doobie that allows you to write queries in a typesafe way.☆40Dec 5, 2025Updated 7 months ago
- Wrapper script around scala-cli/graalvm to allow instant Scala script startup☆17Aug 26, 2024Updated last year
- ☆17Feb 5, 2026Updated 5 months ago
- Scala library for readable diffs of values☆107Jul 24, 2026Updated last week