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.
☆41Aug 2, 2026Updated 2 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:
- LLM inference on Apple Silicon from Scala Native, powered by MLX☆23Mar 5, 2026Updated 7 months 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☆14Jun 1, 2026Updated 4 months ago
- TACIT — Tracked Agent Capabilities In Types☆129Oct 15, 2026Updated last week
- Minimalistic Scala LSP☆11Oct 5, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Friendly fork of Scala.js, with Wasm Component Model support☆43Oct 15, 2026Updated last week
- Refactoring Generator of Source Code for Scala☆25May 22, 2026Updated 5 months ago
- Scala Native toolchain without the JVM☆31Updated this week
- Minimal Metals stand alone client that allows running the metals mcp server☆36Mar 4, 2026Updated 7 months ago
- A macro-based library for writing efficient and readable null-safe code in Scala.☆44Apr 29, 2026Updated 5 months ago
- JDBC Implementation for Scala Native☆16Jun 19, 2026Updated 4 months ago
- The first Scala macros' standard library☆164Oct 14, 2026Updated last week
- Reference interpreter for TASTy, the Scala 3 interchange format☆13Feb 3, 2023Updated 3 years ago
- A Devise-like authentication library for Http4s☆15Aug 7, 2026Updated 2 months ago
- 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.
- Typed Dataset api for Scala 3☆28Oct 16, 2026Updated last week
- Extensible records for Scala☆68Jun 28, 2026Updated 3 months ago
- ShipReq☆51Updated this week
- deep learning and scientific computing framework with native CPU and GPU backend for the Scala programming language☆33Apr 22, 2025Updated last year
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆45Jun 24, 2026Updated 3 months ago
- ☆15Updated this week
- ☆19Sep 10, 2026Updated last month
- Parse ASCII art diagrams of graphs (nodes and edges)☆13Apr 1, 2022Updated 4 years ago
- A Scala library for rolling dice and analyzing probability distributions☆35Apr 20, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Scala library for readable diffs of values☆108Oct 12, 2026Updated last week
- ☆51Updated this week
- Example on how to use Vite with Scala.js☆10Sep 25, 2025Updated last year
- Scala 3 client for pgmq (Postgres Message Queue)☆39Updated this week
- open source vscode coding assistant in Scala.js☆15Dec 13, 2025Updated 10 months ago
- Experimental Scala 3 library that allows to automatically derive instances of the smithy4s abstractions from scala constructs.☆26Jun 1, 2026Updated 4 months ago
- CLI tool for coding agents and developers to query the public API of any Maven JVM dependency — get symbol signatures, list packages, sea…☆101Updated this week
- 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.
- A JavaScript environment for Scala.js (JSEnv) running playwright☆11Oct 6, 2026Updated 2 weeks ago
- The workshop materials for the course on Scala 3 metaprogramming.☆15Oct 30, 2023Updated 2 years 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…☆23Updated this week
- ☆18Nov 11, 2024Updated last year
- chanterelle is a library that provides a map-like DSL over named tuples. Scala 3 only. Some chanterelles are scaly.☆46Oct 14, 2026Updated last week
- ☆27May 14, 2026Updated 5 months ago
- Working through "Modern Systems Programming with Scala Native" by Richard Whaling, in Scala 3☆29Apr 7, 2026Updated 6 months ago