cascala / galileo
Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
☆70Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for galileo
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆67Updated last year
- A Scala compiler plugin for mutual tail recursion☆88Updated 4 years ago
- A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…☆164Updated 4 years ago
- coulomb: unit analysis for Scala☆142Updated last month
- A purely-functional library for creating both parsers, pretty-printers, and grammar definitions from a single, type-safe specification of…☆70Updated 4 years ago
- An exploration of purely functional library design in Scala.☆103Updated 8 years ago
- A dimensional analysis library based on dependent types☆199Updated 2 months ago
- A native binding generator for the Scala language.☆35Updated 7 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 7 years ago
- Squid – type-safe metaprogramming and compilation framework for Scala☆198Updated 9 months ago
- Automatic typeclass-based abstraction over monad-like types☆54Updated 3 years ago
- Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS☆34Updated this week
- Markov Chains for Scala☆87Updated 8 years ago
- Impatient fork of Ammonite☆62Updated 6 years ago
- Metal - fast unboxed data structures for Scala☆96Updated 6 years ago
- Transform and compose tagless final encoded algebras in scala☆96Updated 6 years ago
- Scala command-line arguments parser☆63Updated 6 years ago
- Scalameta tutorial☆70Updated 3 years ago
- Verified message-passing programs in Dotty☆47Updated 3 years ago
- A fast and generic immutable radix tree for scala☆95Updated 5 years ago
- Lightweight and typesafe asynchronous computation graphs☆41Updated 5 years ago
- A reactive streams implementation for fs2☆63Updated 5 years ago
- A type-parametric unboxed Option type for Scala☆60Updated 3 years ago
- N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarray / PyTorch Tensor but type-safe over shapes, array/axis…☆47Updated last year
- Scala library for memory-efficient data structures☆75Updated 7 years ago
- A scala macro for reasonable lazy semantics☆84Updated this week
- Probabilistic programming in Scala☆34Updated 10 years ago
- Macro-based type providers for Scala (examples)☆85Updated 9 years ago
- ☆53Updated 3 years ago