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
- Experiments with incremental compiler construction on the JVM☆13Mar 15, 2022Updated 4 years ago
- ☆17Feb 16, 2020Updated 6 years ago
- ☆18May 6, 2025Updated last year
- 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.
- A Scala.js library for building user interfaces☆13May 30, 2023Updated 3 years ago
- 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
- 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.
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- 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 6 years ago
- LLM inference on Apple Silicon from Scala Native, powered by MLX☆22Mar 5, 2026Updated 4 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 last month
- 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.
- A demo Contacts Application built with the Phoenix Framework☆14Jan 28, 2025Updated last year
- 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 3 months ago
- Implicit conversion of Encoder and Decoder into Serializer/Deserializer/Serde☆25May 5, 2026Updated 2 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☆21May 17, 2026Updated 2 months ago
- A module for some additional try catch semantics in Julia☆15Apr 19, 2022Updated 4 years 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.
- 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
- 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 5 months ago
- ☆15Aug 7, 2014Updated 11 years ago
- Compress long exception traces down to short signatures☆19Mar 28, 2022Updated 4 years ago