☆13Apr 20, 2026Updated 2 months ago
Alternatives and similar repositories for compilers-supplementary
Users that are interested in compilers-supplementary are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Teaching language LaMa for a compiler course☆79Jun 8, 2026Updated last month
- SBT Plugins For ZIO Projects☆13Updated this week
- Interpreter for a small subset of the Haskell programming language☆17May 9, 2026Updated 2 months ago
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Spark Notebook docker image☆10Dec 29, 2017Updated 8 years ago
- Source code from classes at ITMO University☆11Oct 26, 2021Updated 4 years ago
- Transaction Processing: Concepts and Techniques by Jim Gray☆16Feb 22, 2021Updated 5 years ago
- Convert Scala Language Specification markdown files to pdf / epub format☆12Oct 6, 2019Updated 6 years ago
- Source code & exercises in Arend's documentation☆21May 8, 2026Updated 2 months ago
- 🔧 Useless but cool.☆14Mar 13, 2025Updated last year
- ☆12Nov 12, 2021Updated 4 years ago
- The official repository of the Scala Macros and Metaprogramming course on Rock the JVM☆14Nov 13, 2025Updated 7 months ago
- Boost.org lambda module☆20May 13, 2026Updated last month
- 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.
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 9 months ago
- ☆10Aug 14, 2019Updated 6 years ago
- Generate type mappers for your own type class☆13Jul 1, 2026Updated last week
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆15Jan 2, 2022Updated 4 years ago
- Work in progress: Cross Platform Game Engine☆14Updated this week
- Corrects @ScalaSignature annotations in shaded jars☆13Oct 30, 2015Updated 10 years ago
- ☆22Mar 20, 2024Updated 2 years ago
- Boost.org rational module☆24Apr 22, 2026Updated 2 months ago
- Example of doing code generation with scala.meta in sbt☆12Mar 27, 2018Updated 8 years ago
- 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 knowledge base of Dotty internals and all things related☆19Jul 25, 2019Updated 6 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- Classloader based Fat Jar packaging☆23Dec 21, 2025Updated 6 months ago
- A high performance Python library for computing the maximum flow in Graphs!☆15Mar 1, 2021Updated 5 years ago
- ☆60May 7, 2026Updated 2 months ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Nov 2, 2022Updated 3 years ago
- ☆23Jan 19, 2023Updated 3 years ago
- The C# language implementation in MPS☆16Dec 3, 2019Updated 6 years ago
- Runtime/Compile time copyable type info.☆27May 22, 2026Updated last month
- 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.
- Typesafe record types for Scala☆20Jan 26, 2025Updated last year
- ☆20Nov 9, 2019Updated 6 years ago
- How to debug Scala implicit conversions and parameters in IntelliJ☆20Jun 29, 2018Updated 8 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆59Feb 28, 2023Updated 3 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 2 years ago
- Treat undo history as a tree☆10May 25, 2024Updated 2 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Sep 9, 2025Updated 10 months ago