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.
☆41Jul 14, 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☆58Jun 28, 2026Updated 2 weeks ago
- A scala 3 tree explorer for the reflect module☆53Nov 3, 2024Updated last year
- Smithy4s client directly using Fetch APIs, without bringing http4s/cats, to dramatically reduce bundle size☆13Jun 1, 2026Updated last month
- The first Scala macros' standard library☆158Updated this week
- A macro-based library for writing efficient and readable null-safe code in Scala.☆44Apr 29, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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 last month
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆45Jun 24, 2026Updated 2 weeks ago
- ShipReq☆51Updated this week
- 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 5, 2026Updated last week
- 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
- Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.☆25Jun 1, 2026Updated last month
- Functional abstractions for Kubernetes leases in Scala☆12Dec 13, 2024Updated 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.
- Extensible records for Scala☆68Jun 28, 2026Updated 2 weeks ago
- A JavaScript environment for Scala.js (JSEnv) running playwright☆12Jun 12, 2025Updated last year
- 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
- Test that your DOM nodes / HTML elements match your expectations in a type-safe way☆14Jan 25, 2026Updated 5 months ago
- Friendly fork of Scala.js, with Wasm Component Model support☆42Updated this week
- Rust-like question operator for Scala☆18Feb 25, 2024Updated 2 years ago
- Extensible implementation of a Language Model (LLM) training framework in Scala.☆34Apr 9, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A Mill plugin to submit your dependency graph to the GitHub Dependency Graph API☆14Apr 18, 2025Updated last year
- Data modeling and versioning language with automatic evolution derivation☆26Jul 6, 2026Updated last week
- Type-safe high-level ORM for Postgres☆20Apr 4, 2024Updated 2 years ago
- Wrapper script around scala-cli/graalvm to allow instant Scala script startup☆17Aug 26, 2024Updated last year
- A Mill plugin to help making publishing to Sonatype from GitHub Actions easier.☆16Apr 18, 2025Updated last year
- A wrapper for doobie that allows you to write queries in a typesafe way.☆40Dec 5, 2025Updated 7 months ago
- My Generic Roguelike☆15Jan 19, 2025Updated last year
- CLI tool for coding agents and developers to query the public API of any Maven JVM dependency — get symbol signatures, list packages, sea…☆75Updated this week
- Scala library for readable diffs of values☆106Jun 30, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Scone is a media player for torrents build with Scala.js and Electron☆18Updated this week
- chanterelle is a library that provides a map-like DSL over named tuples. Scala 3 only. Some chanterelles are scaly.☆42Updated this week
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆184May 27, 2026Updated last month
- Automatic UI forms for Scala 3 functions☆16Aug 8, 2024Updated last year
- Read Typeclass For Scala☆13May 24, 2022Updated 4 years ago
- toon4s: Token-Oriented Object Notation for JVM☆31Jun 6, 2026Updated last month
- Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988☆42May 22, 2024Updated 2 years ago