VizierDB / vizier-scala
The Vizier kernel-free notebook programming environment
☆34Updated last month
Related projects ⓘ
Alternatives and complementary repositories for vizier-scala
- Convert any value to code☆12Updated last year
- Scala Algebra System☆15Updated 2 weeks ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆29Updated 7 months ago
- training neural networks with akka☆55Updated 4 years ago
- N-dimensional arrays, with Zarr and HDF5 integrations☆16Updated 5 years ago
- ☆22Updated 3 weeks ago
- API for converting JVM objects to representations by MIME type, for the Jupyter ecosystem.☆23Updated 4 years ago
- Pragmatic command line parsing and configuration for Scala apps☆13Updated last year
- Parse, manipulate and render CommonMark in Scala Native☆15Updated 3 years ago
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10Updated 8 years ago
- Scala, DSL, Rules based reactive workflows and Microservices☆14Updated 2 months ago
- Verify that all reachable code links and will not fail at runtime with a linkage error☆10Updated 2 years ago
- A chess program written in Scala☆18Updated 4 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Scala library for data visualization.☆10Updated 7 years ago
- Powerful framework providing many useful utilities and features on top of the Scala language.☆15Updated 7 years ago
- Reference interpreter for TASTy, the Scala 3 interchange format☆12Updated last year
- ☆11Updated 2 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆20Updated 4 years ago
- Scala Spores, safe mobile closures.☆28Updated 6 years ago
- Use JavaCPP and JavaCPP presets with ease. Base plugin for JavaCPP-related projects.☆38Updated 3 years ago
- Giter8 template for a simple project that uses sbt-crossproject.☆11Updated 6 years ago
- ☆39Updated 8 years ago
- Versioned Key-Value Store with RocksDB backend and gRPC API☆13Updated 2 months ago
- A TypeScript-to-Scala.js converter. Designed for parsing definitelytyped.com, powers definitelyscala.com.☆21Updated 3 years ago
- XML String Interpolator for Dotty☆32Updated 6 months ago
- Data management utilities for Scala☆19Updated 7 years ago
- An extension to the amazing Spark framework for better functional programming.☆28Updated 8 years ago
- Compile-time expression evaluation for Scala 2☆15Updated 3 weeks ago
- Historical feature requests. Please create new feature requests at https://github.com/lampepfl/dotty/discussions/new?category=feature-req…☆31Updated last year