The fastest way to build a language
☆41Jan 4, 2022Updated 4 years ago
Alternatives and similar repositories for Miksilo
Users that are interested in Miksilo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ZIO-inspired APIs for Kyo☆12Apr 18, 2024Updated 2 years ago
- An implementation of ScalaLab for Scala 3 (Dotty)☆17Dec 19, 2022Updated 3 years ago
- ☆17Feb 16, 2020Updated 6 years ago
- ☆18May 6, 2025Updated last year
- A Scala.js library for building user interfaces☆13May 30, 2023Updated 3 years 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.
- A programming language for distributed applications☆36Jun 18, 2024Updated 2 years ago
- A TypeScript compiler written in Scala (wip)☆17Nov 20, 2016Updated 9 years ago
- The Melange Language Workbench☆30Aug 18, 2023Updated 2 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆39Mar 28, 2022Updated 4 years ago
- ☆14Oct 9, 2019Updated 6 years ago
- ☆35Jun 21, 2024Updated 2 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17May 29, 2024Updated 2 years ago
- Flexible data structures in Scala☆15Jan 6, 2016Updated 10 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years 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.
- util modules for sbt☆15Apr 24, 2020Updated 6 years ago
- Implementation of java.time for Scala.js and Scala Native☆16Jun 22, 2026Updated last month
- A type-parametric unboxed Option type for Scala☆65Oct 10, 2021Updated 4 years ago
- ☆46Feb 7, 2020Updated 6 years ago
- A library for working with Nintendo DS roms☆11Aug 9, 2019Updated 7 years ago
- LLM inference on Apple Silicon from Scala Native, powered by MLX☆23Mar 5, 2026Updated 5 months ago
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- A Scala 3 compiler plugin that enforces layered/onion architecture at compile time by validating package dependencies via `@dependsOn` an…☆16Jun 2, 2026Updated 2 months ago
- A demo Contacts Application built with the Phoenix Framework☆14Jan 28, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆15Jan 2, 2022Updated 4 years ago
- DeukPack — AI-Ready Interface Hub & Universal IDL Gateway. Unified serializer for Mixed-IDL (Protobuf, OpenAPI, Thrift, .deuk) with AI Se…☆19Apr 9, 2026Updated 4 months ago
- Implicit conversion of Encoder and Decoder into Serializer/Deserializer/Serde☆25May 5, 2026Updated 3 months ago
- [deprecated]dotty version of paradise for interfacing with scala.meta☆11Mar 8, 2017Updated 9 years ago
- A framework to build projectional editors running in the browser☆15Sep 29, 2023Updated 2 years ago
- A .Net Antlr4 grammar testing tool set meant to supplement the need for the Antlr Java TestRig when testing C# deployed Antlr4 parsers.☆18Jul 16, 2025Updated last year
- Neural language model built from scratch in Scala 3 with GPU acceleration via Apple Metal☆22May 17, 2026Updated 2 months ago
- An example of using Scala.js with sbt, Vite, Laminar and Chart.js☆93Jul 22, 2024Updated 2 years ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆17Oct 12, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image☆32Sep 15, 2020Updated 5 years ago
- Verified message-passing programs in Dotty☆49Apr 20, 2021Updated 5 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆36Feb 5, 2026Updated 6 months ago
- ☆15Aug 7, 2014Updated 12 years ago
- Compress long exception traces down to short signatures☆19Mar 28, 2022Updated 4 years ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆19Jun 12, 2023Updated 3 years ago
- a typeclass based JSON codec that's backend independent☆37Aug 2, 2026Updated last week