☆13Apr 20, 2026Updated 3 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:
- SBT Plugins For ZIO Projects☆13Updated this week
- KLines is a simple but highly addictive, one player game☆11Updated this week
- Source code from classes at ITMO University☆11Oct 26, 2021Updated 4 years ago
- A simple toy project for playing around with some implicit resolution tricks☆12May 6, 2021Updated 5 years ago
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Convert Scala Language Specification markdown files to pdf / epub format☆12Oct 6, 2019Updated 6 years ago
- 🔧 Useless but cool.☆14Mar 13, 2025Updated last year
- ☆12Nov 12, 2021Updated 4 years ago
- Boost.org lambda module☆20Jul 13, 2026Updated 2 weeks ago
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 10 months ago
- Interpreter for a small subset of the Haskell programming language☆17May 9, 2026Updated 2 months ago
- ☆10Aug 14, 2019Updated 6 years ago
- Generate type mappers for your own type class☆13Jul 13, 2026Updated 2 weeks ago
- ☆22Mar 20, 2024Updated 2 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.
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆15Jan 2, 2022Updated 4 years ago
- Corrects @ScalaSignature annotations in shaded jars☆13Oct 30, 2015Updated 10 years ago
- ☆15May 31, 2022Updated 4 years ago
- Boost.org rational module☆24Jul 13, 2026Updated 2 weeks ago
- This library is intended to solve the use case of getting the erased types of a (generic) parameter. Something which was possible in Scal…☆11Updated this week
- Example of doing code generation with scala.meta in sbt☆12Mar 27, 2018Updated 8 years ago
- A knowledge base of Dotty internals and all things related☆19Jul 25, 2019Updated 7 years ago
- Материалы и задания по курсу "Программирование с зависимыми типами" 2018 года☆15Dec 17, 2018Updated 7 years ago
- For education☆14Jan 3, 2026Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- (To) mirror Emacs Lisp Package Archive(s)☆10Jun 29, 2026Updated last month
- Runtime/Compile time copyable type info.☆27Jul 13, 2026Updated 2 weeks ago
- Classloader based Fat Jar packaging☆23Dec 21, 2025Updated 7 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
- The C# language implementation in MPS☆16Dec 3, 2019Updated 6 years ago
- Boost.org iterator module☆23Jul 13, 2026Updated 2 weeks ago
- Scalalaz podcast website generator☆10Dec 25, 2024Updated last year
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 2 years ago
- The official repository of the Scala Macros and Metaprogramming course on Rock the JVM☆15Nov 13, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Treat undo history as a tree☆10May 25, 2024Updated 2 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
- ☆25Jul 7, 2022Updated 4 years ago
- Source code & exercises in Arend's documentation☆22Updated this week
- HoTT Note-taking action☆25Mar 24, 2019Updated 7 years ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Jun 5, 2023Updated 3 years ago