epfldata / sc-public
Example DSLs for working with SC
☆22Updated 7 years ago
Alternatives and similar repositories for sc-public:
Users that are interested in sc-public are comparing it to the libraries listed below
- Library for deep embedding of DSLs based on Scala macros.☆74Updated 9 years ago
- Generic framework for development of domain-specific compilers in Scala☆96Updated 7 years ago
- ☆15Updated 4 years ago
- Scala Spores, safe mobile closures.☆28Updated 6 years ago
- A compiler plug-in to control object lifetimes in Scala☆63Updated 7 years ago
- Data-centric metaprogramming for Scala☆17Updated 9 years ago
- ☆55Updated last year
- A quotation-based Scala DSL for scalable data analysis.☆63Updated 2 years ago
- Tutorials on Lightweight Modular Staging☆121Updated 6 months ago
- Scala Spores, safe mobile closures.☆127Updated 7 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆137Updated 6 years ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆67Updated 2 months ago
- WIP - Scalameta powered code generation☆41Updated 7 years ago
- A fast parser combinator library, with extra querying goodness☆34Updated 8 years ago
- Session programming in Scala☆59Updated 3 years ago
- The Kerr Scala Extensions contain core functionality missing from the Scala standard library.☆28Updated 4 years ago
- AI library developed in functional scala☆14Updated 9 years ago
- Scala macros for making debugging easier☆80Updated 5 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Updated 9 years ago
- ☆17Updated 8 years ago
- Verified message-passing programs in Dotty☆48Updated 3 years ago
- Scala Records: Extensible records and type-indexed maps☆82Updated 9 years ago
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- Experiments with symbolic functions in the Scala type system☆27Updated 5 years ago
- Shape-safe TensorFlow in Dotty☆45Updated 2 years ago
- Run Scaladoc as unit tests☆32Updated this week
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆123Updated last year
- You deserve a better Scala enumerationUpdated 7 years ago
- Hacky applicative-style for comprehensions for Scala.☆37Updated 2 years ago
- A Probabilistic Functional Programming Language DSL in Scala☆63Updated 9 years ago