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
Sorting:
- Native Scala mocking framework☆33Nov 7, 2011Updated 14 years ago
- Eclipse SBT Plugin☆19Nov 15, 2011Updated 14 years ago
- in your case☆62Apr 10, 2012Updated 13 years ago
- The Scotch programming language☆44Oct 1, 2012Updated 13 years ago
- The Goo programming language.☆25Apr 4, 2014Updated 11 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- Package addrs provides flags to define one or an array of net.Addr.☆15Mar 23, 2016Updated 9 years ago
- A dependently typed programming language, a successor to Idris☆12Jul 18, 2021Updated 4 years ago
- Keep your code fresh smelling: generate "bad code smells" specs2 specifications for any source language.☆32Apr 1, 2013Updated 12 years ago
- ☆29Sep 14, 2015Updated 10 years ago
- Parallelizing Machine Learning-- Functionally.☆55Jun 14, 2012Updated 13 years ago
- Crazy Simple Logging for Scala☆23Jul 29, 2015Updated 10 years ago
- SBT template project for creating Scala (micro-)benchmarks based on Caliper☆20May 2, 2012Updated 13 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Script to easily setup Nix and NixOps for use on Mac☆22May 19, 2015Updated 10 years ago
- Example projects in Spde, a Scala toolkit for Processing.org☆55Sep 5, 2013Updated 12 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- A way to show data in tabular form☆15Mar 18, 2019Updated 6 years ago
- Simple, immutable and flexible configuration library for scala.☆133Apr 18, 2015Updated 10 years ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- Lazy iterables in erlang☆12Sep 22, 2016Updated 9 years ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Scala library to support coroutines and generators☆20Apr 3, 2011Updated 14 years ago
- REST'ful web framework in Agda☆134Sep 5, 2010Updated 15 years ago
- A compiler for the gradually typed lambda calculus☆76Nov 4, 2021Updated 4 years ago
- A lightweight Web 3.0 framework for Scala, featuring a purely asynchronous architecture, extremely high-performance, massive scalability,…☆739Sep 22, 2014Updated 11 years ago
- System F-omega normalization by hereditary substitution in Agda☆62Aug 31, 2019Updated 6 years ago
- arc in java☆59Oct 12, 2010Updated 15 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- The power of Nix home-manager inside nix development shells☆26Dec 11, 2025Updated 2 months ago
- SBT Plugin to deploy to cloudbees.com Run@Cloud PaaS☆36Sep 8, 2014Updated 11 years ago
- Idris backend targeting Elixir (Work in progress)☆18Jan 26, 2017Updated 9 years ago
- IP Address implementation☆18Mar 6, 2025Updated 11 months ago
- 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
- protoc plugin that generates type safe scala wrappers for java protoc output☆42Aug 18, 2010Updated 15 years ago
- A native Scala library for using Sqlite3☆31May 16, 2014Updated 11 years ago
- ☆36Jan 11, 2025Updated last year
- Pure asynchronous MongoDB Driver for Scala.☆152Mar 22, 2016Updated 9 years ago