Verify Package Specifications
☆44Jun 2, 2015Updated 10 years ago
Alternatives and similar repositories for veripacks
Users that are interested in veripacks are comparing it to the libraries listed below
Sorting:
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- A Scala Collection for Multiple Access Patterns☆12Oct 22, 2016Updated 9 years ago
- Automatically wrap Scala classes that return Futures with a Circuit Breaker☆10Sep 18, 2016Updated 9 years ago
- Rapid prototyping HTTP toolkit based on Netty. Supports container-style jars, multi-hosting, REST primitives.☆19Jul 14, 2013Updated 12 years ago
- ☆15Nov 29, 2021Updated 4 years ago
- The JPA cloner project.☆43Apr 19, 2015Updated 10 years ago
- Message Acknowledgement for Akka Streams☆19Oct 28, 2021Updated 4 years ago
- Thread safe implementation of org.apache.mesos.Scheduler based on scalaz streams☆25Nov 19, 2016Updated 9 years ago
- Accurest - Consumer Driven Contracts verifier for Java. Moved to:☆100Dec 8, 2017Updated 8 years ago
- linkerd telemeter plugins for writing trace data to zipkin☆28May 27, 2022Updated 3 years ago
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 8 years ago
- Dynamically switch between the JVM target and versions of Scala.js in a Scala project☆25Mar 2, 2020Updated 6 years ago
- Road to Continous Upgrade☆15Aug 12, 2025Updated 6 months ago
- Getting started in the Scala REPL☆28Mar 28, 2016Updated 9 years ago
- Gilead permits you to use your Persistent POJO (and especially the partially loaded ones) outside the JVM (GWT) without pain. No lazy ini…☆14Feb 9, 2022Updated 4 years ago
- a typeclass based JSON codec that's backend independent☆36Feb 20, 2026Updated last week
- Practical effect composition library based on abstract wrapping type and the free monad☆39Sep 12, 2018Updated 7 years ago
- Let your servers and clients communicate over function calls! JSON-RPC 2.0 library for Scala and Scala.js☆40Jun 16, 2023Updated 2 years ago
- Machinegun FSM processor☆10Dec 1, 2021Updated 4 years ago
- redis starter☆13Sep 13, 2017Updated 8 years ago
- ☆10Nov 18, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/gwt-crypto☆11Mar 12, 2015Updated 10 years ago
- An exploration of Flink and change-data-capture via flink-cdc-connectors☆11Jul 7, 2021Updated 4 years ago
- A playground for comparing various approaches to Scala concurrency☆34Oct 12, 2016Updated 9 years ago
- Web "framework" for Scala Native with the power of RFC 3875: The Common Gateway Interface☆40Sep 29, 2017Updated 8 years ago
- Mutation testing for Scala☆43Dec 11, 2017Updated 8 years ago
- Benchmarks for tuning Maven performance☆12Apr 4, 2020Updated 5 years ago
- Deprecated. Use Giter8 template instead.☆11Feb 2, 2018Updated 8 years ago
- HLL Algorithm and Web Scraping sample☆10Sep 29, 2015Updated 10 years ago
- Plugin to produce locales dbs☆11Updated this week
- Powerful framework providing many useful utilities and features on top of the Scala language.☆15Feb 8, 2017Updated 9 years ago
- Tinker is a parallel-by-default File/Directory Management System with additional interface to NLP and ML libraries☆10Jul 21, 2017Updated 8 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- SHA and Shake for scala☆13Feb 13, 2026Updated 2 weeks ago
- A POC for better exception reporting for futures☆12Aug 20, 2014Updated 11 years ago
- ☆13Aug 22, 2025Updated 6 months ago
- Obsolete, Ammonite is now supported in IntelliJ 🎉 -->☆11Jan 7, 2017Updated 9 years ago