cascala / galileoLinks
Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool
☆70Updated 5 years ago
Alternatives and similar repositories for galileo
Users that are interested in galileo are comparing it to the libraries listed below
Sorting:
- Squid – type-safe metaprogramming and compilation framework for Scala☆202Updated last year
- An exploration of purely functional library design in Scala.☆103Updated 9 years ago
- Markov Chains for Scala☆87Updated 9 years ago
- Scalameta tutorial☆71Updated 4 years ago
- A Scala compiler plugin for mutual tail recursion☆88Updated 5 years ago
- coulomb: unit analysis for Scala☆148Updated 3 weeks ago
- A template engine for Scala☆52Updated 4 years ago
- Scala Spores, safe mobile closures.☆127Updated 7 years ago
- Scala Quick API☆69Updated 3 years ago
- Axle Domain Specific Language for Scientific Cloud Computing and Visualization☆68Updated 8 months ago
- Verified message-passing programs in Dotty☆49Updated 4 years ago
- an implementation of Wadler's a prettier printer☆188Updated last week
- A dimensional analysis library based on dependent types☆199Updated last year
- An implementation of Huet’s Zipper for Scala and Scala.js that is intended to be usable in many common scenarios☆47Updated last year
- The first and only true Functional Reactive Programming framework for Scala.☆87Updated last week
- Quark: An Embedded DSL for Quasar Analytics☆45Updated 8 years ago
- Pure-functional random value generation☆119Updated 8 years ago
- A purely-functional library for creating both parsers, pretty-printers, and grammar definitions from a single, type-safe specification of…☆70Updated 5 years ago
- Miniboxing is a program transformation that improves the performance of Scala generics when used with primitive types. It can speed up ge…☆121Updated 5 years ago
- gestalt : portable and solid macros for Scala☆31Updated 7 years ago
- Metal - fast unboxed data structures for Scala☆94Updated 7 years ago
- Dealing with common type inference nuances in Scala☆39Updated 7 years ago
- Limits of Scala typechecking speed☆155Updated 4 years ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆260Updated 5 months ago
- A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…☆164Updated 5 years ago
- Automatic typeclass-based abstraction over monad-like types☆54Updated 4 years ago
- Modified version of dotty suporting language specific and library-specific optimizations☆37Updated 8 years ago
- Provides the geny.Generator data type, the dual to a scala.Iterator that can ensure resource cleanup☆96Updated 2 weeks ago
- OpenGL and SDL2 bindings for Scala Native☆42Updated 3 years ago
- An experimental whitespace-delimited syntax for the Scala programming language☆150Updated 10 years ago