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 weeks 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:
- TACIT — Tracked Agent Capabilities In Types☆71Updated this week
- Smithy4s client directly using Fetch APIs, without bringing http4s/cats, to dramatically reduce bundle size☆14Jun 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☆23Mar 5, 2026Updated 5 months ago
- A macro-based library for writing efficient and readable null-safe code in Scala.☆44Apr 29, 2026Updated 3 months ago
- 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.
- Minimal Metals stand alone client that allows running the metals mcp server☆36Mar 4, 2026Updated 5 months ago
- Friendly fork of Scala.js, with Wasm Component Model support☆42Updated this week
- JDBC Implementation for Scala Native☆15Jun 19, 2026Updated 2 months ago
- The first Scala macros' standard library☆160Aug 14, 2026Updated last week
- 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 3 months ago
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆45Jun 24, 2026Updated 2 months ago
- ShipReq☆51Aug 15, 2026Updated last week
- ☆18Jul 8, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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.☆26Jun 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…☆21Updated this week
- Scala 3 client for pgmq (Postgres Message Queue)☆38Aug 13, 2026Updated last 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Scala staging framework☆18Jul 13, 2018Updated 8 years ago
- ☆27May 14, 2026Updated 3 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 4 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 8 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
- 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.
- 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☆16Jan 19, 2025Updated last year
- A wrapper for doobie that allows you to write queries in a typesafe way.☆40Dec 5, 2025Updated 8 months ago
- Wrapper script around scala-cli/graalvm to allow instant Scala script startup☆17Aug 26, 2024Updated last year
- ☆17Feb 5, 2026Updated 6 months ago
- Scala library for readable diffs of values☆107Updated this week