Typed tensor library for Scala, using Jax as a computational engine
☆24Nov 3, 2026Updated last week
Alternatives and similar repositories for dimwit
Users that are interested in dimwit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Sep 27, 2026Updated last month
- Declarative Data Viz 4 Scala☆54Nov 5, 2026Updated last week
- Neural language model built from scratch in Scala 3 with GPU acceleration via Apple Metal☆22May 17, 2026Updated 5 months ago
- ☆18Sep 10, 2026Updated 2 months ago
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆197Oct 17, 2026Updated 3 weeks 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.
- Minimalistic Scala LSP☆11Oct 18, 2026Updated 3 weeks ago
- Inference Llama 2 in Scala with AVX2 kernels in C (A port of llama2.c from Andrej Karpathy)☆72Oct 12, 2023Updated 3 years ago
- A JavaScript environment for Scala.js (JSEnv) running playwright☆11Oct 6, 2026Updated last month
- Scala toolkit for working with third-party LLMs (OpenAI, Claude, and compatible). Define agents, call provider APIs, use MCPs, ensure cor…☆106Updated this week
- Example on how to use Snowpack with Scala.js☆13May 7, 2022Updated 4 years ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 4 months ago
- A Rational Defense of Reasonable Reflection (LICS'26 Keynote)☆10Jul 21, 2026Updated 3 months ago
- SADDLE: Scala Data Library☆39Apr 27, 2026Updated 6 months ago
- A Scala 3 web framework. Direct-style. The case class is the source of truth. Deploy with one command.☆131Updated 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.
- MUnit binding for Typelevel Discipline☆25Oct 29, 2026Updated 2 weeks ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- prototyping logic programming in Scala☆41Mar 25, 2022Updated 4 years ago
- Deterministic, AI-driven development flows.☆199Updated this week
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 years ago
- Build type-safe, boilerplate-less MCP servers and clients in Scala☆104Updated this week
- Principled code generation from OpenAPI specifications☆28Dec 22, 2025Updated 10 months ago
- Helpers for setting up an embedded Python interpreter☆20Oct 31, 2025Updated last year
- Direct-style pure domain logic for Scala☆61Updated this week
- 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.
- scala plotting (charting, graphing) library☆101Oct 29, 2026Updated 2 weeks ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 9 months ago
- flexible 'let rec' generation for MetaOCaml☆29Jan 25, 2026Updated 9 months ago
- TACIT — Tracked Agent Capabilities In Types☆150Oct 15, 2026Updated 3 weeks ago
- Scala 3 bindings for llama.cpp 🦙☆68Oct 5, 2026Updated last month
- CCOS Causal Cognitive Operating System + RTFS (Reason the Fucking Spec) core language☆12Nov 7, 2026Updated last week
- Sample code from talk "New types as a solution to primitive obsession"☆11May 10, 2022Updated 4 years ago
- Git history navigation for dedicated methods, across all kinds of changes incl. complex refactorings.☆11Feb 12, 2025Updated last year
- Djinnlang implementation for Rust☆27Updated this week
- 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.
- Integrate Webpack with Playframework assets' incremental compilation☆10Mar 4, 2023Updated 3 years ago
- 🐟 Scala 3 + ZIO + Quill + PostgreSQL JSONB example with Dr. Seuss inspired fish data☆11Jul 19, 2025Updated last year
- Data visualization for a functional world☆24Aug 21, 2024Updated 2 years ago
- Scala bindings for LibTorch☆135Nov 10, 2022Updated 4 years ago
- Higher-order, higher-order automatic differentiation☆30Jan 24, 2020Updated 6 years ago
- The first Scala macros' standard library☆166Updated this week
- ☆25Aug 25, 2022Updated 4 years ago
Are these results useful?