Experiments with symbolic functions in the Scala type system
☆27Jun 17, 2019Updated 7 years ago
Alternatives and similar repositories for baudrillard
Users that are interested in baudrillard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type-safe implementation of Tensor Data Model in Scala.☆19Jul 30, 2023Updated 2 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated 11 months ago
- simple static file server backed by http4s-ember.js☆12May 11, 2022Updated 4 years ago
- A knowledge base of Dotty internals and all things related☆19Jul 25, 2019Updated 7 years ago
- Simple encoding of refinement types in Scala 3☆23Jun 24, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Reads typeclass for Scala☆14Mar 13, 2017Updated 9 years ago
- Shape-safe TensorFlow in Dotty☆48Jan 6, 2023Updated 3 years ago
- Code from the Functional Scala Conference talk: Type inference for plain-text SQL☆10Dec 5, 2024Updated last year
- Bank transfer examples using STM in both Haskell and Scala (zio-stm)☆17Dec 16, 2019Updated 6 years ago
- ☆14Oct 9, 2019Updated 6 years ago
- ☆172Apr 20, 2021Updated 5 years ago
- ☆12Jul 28, 2024Updated 2 years ago
- Fast streams for Scala 3☆56Feb 8, 2025Updated last year
- For Publishing ScalaJS Package to npm☆14Jul 1, 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.
- A high-performance, purely-functional library for doing computational analysis and statistics over data in a type-safe way☆64Nov 8, 2018Updated 7 years ago
- Making the execution of system processes easier in Scala☆13Feb 11, 2025Updated last year
- Scala reinforcement learning framework☆15Feb 11, 2022Updated 4 years ago
- ☆19Aug 31, 2022Updated 3 years ago
- ☆20Apr 15, 2024Updated 2 years ago
- ☆15Aug 30, 2025Updated 10 months ago
- skema morphisms☆88Sep 15, 2025Updated 10 months ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 6 years ago
- ☆56Apr 25, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 6 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Scoring ONNX models on the JVM in scala☆70Jan 5, 2022Updated 4 years ago
- DynamoDB client for Crystal.☆15Jul 5, 2020Updated 6 years ago
- Guide + Examples to help you better maintain binary compatibility for your Scala library releases☆62Apr 20, 2023Updated 3 years ago
- Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms☆56Apr 16, 2026Updated 3 months ago
- Distributed stream processing using ZIO☆61Sep 18, 2023Updated 2 years ago
- Simple implementations of forward- and backward-mode automatic differentation in Scala☆23Jun 21, 2018Updated 8 years ago
- Wire your cakes automatically to zio environment☆40Feb 27, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code for Method Dispatch article☆13Feb 11, 2015Updated 11 years ago
- The official repository for the LambdaConf 2017 Winter Retreat (January 8 - 12).☆12Aug 29, 2016Updated 9 years ago
- generative programming & verification☆34Jul 18, 2026Updated last week
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 6 years ago
- REmote DIctionary Client, that's hysterical.☆48Jul 21, 2024Updated 2 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Jun 25, 2025Updated last year
- Experimental Scala Native library for Postgres access (using libpq)☆16Nov 26, 2025Updated 8 months ago