Extending Scala with Oz Concurrency
☆81Oct 10, 2021Updated 4 years ago
Alternatives and similar repositories for ozma
Users that are interested in ozma are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Native Scala mocking framework☆33Nov 7, 2011Updated 14 years ago
- A way to show data in tabular form☆15Mar 18, 2019Updated 7 years ago
- in your case☆62Apr 10, 2012Updated 14 years ago
- An implementation of Oz on top of Truffle and Graal☆42Jan 7, 2022Updated 4 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 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.
- Spiffy is a minimalistic framework for building HTTP services and web applications making use of Akka and Scala DSLs with emphasis on sca…☆21May 1, 2011Updated 14 years ago
- The Scotch programming language☆44Oct 1, 2012Updated 13 years ago
- Scala library to support coroutines and generators☆20Apr 3, 2011Updated 15 years ago
- Keep your code fresh smelling: generate "bad code smells" specs2 specifications for any source language.☆32Apr 1, 2013Updated 13 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- A lightweight Web 3.0 framework for Scala, featuring a purely asynchronous architecture, extremely high-performance, massive scalability,…☆738Sep 22, 2014Updated 11 years ago
- Parallelizing Machine Learning-- Functionally.☆55Jun 14, 2012Updated 13 years ago
- Shapeless utilities for common data types☆67Updated this week
- Pure asynchronous MongoDB Driver for Scala.☆152Mar 22, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- This is a sample maven project setup for a mixed scala and java project.☆13Jan 3, 2023Updated 3 years ago
- Make Sublime Text behave like Emacs☆34Feb 22, 2011Updated 15 years ago
- REST'ful web framework in Agda☆135Sep 5, 2010Updated 15 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- SBT template project for creating Scala (micro-)benchmarks based on Caliper☆20May 2, 2012Updated 13 years ago
- An implementation of the W3C Selectors Level 3 specification In Scala.☆23Jul 7, 2012Updated 13 years ago
- ScalaModules is an elegant and intuitive domain specific language for OSGi development written in the Scala programming language.☆91Jan 11, 2012Updated 14 years ago
- ☆152Jan 15, 2023Updated 3 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 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 Phoenix framework pre-launch example application.☆12Nov 16, 2015Updated 10 years ago
- Package addrs provides flags to define one or an array of net.Addr.☆15Mar 23, 2016Updated 10 years ago
- Paxos protocol in Akka☆24Jan 31, 2016Updated 10 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- OpenAPI, AsyncAPI and JSON Schema Scala models.☆25Apr 7, 2026Updated last week
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- The scala.xml library has some very annoying issues. Time for a clean-room replacement!☆171Apr 10, 2012Updated 14 years ago
- Static blog generator in Idris.☆40Feb 17, 2015Updated 11 years ago
- ☆29Sep 14, 2015Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SBT Plugin to deploy to cloudbees.com Run@Cloud PaaS☆36Sep 8, 2014Updated 11 years ago
- ☆141Feb 13, 2015Updated 11 years ago
- IP Address implementation☆18Mar 6, 2025Updated last year
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Graphviz Scala bindings☆54Dec 13, 2016Updated 9 years ago
- Just kidding — Eventually Winning in JavaScript (CommonJS/Promises/A,B,D)☆20Apr 4, 2011Updated 15 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆17Nov 24, 2017Updated 8 years ago