pocketberserker / scala-logicView external linksLinks
☆21Updated this week
Alternatives and similar repositories for scala-logic
Users that are interested in scala-logic are comparing it to the libraries listed below
Sorting:
- Scala port of Paolo Capriotti's optparse-applicative library. fork from https://github.com/bmjames/scala-optparse-applicative☆16Updated this week
- Play2 ActionBuilder Composition Support☆15Dec 4, 2018Updated 7 years ago
- Reactive Sequence Combinators in Scala☆21Jun 10, 2011Updated 14 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- ScalikeJDBC demo on Android SQLite.☆10May 6, 2015Updated 10 years ago
- zero cost Apply/Applicative syntax☆13Updated this week
- Extensible protocols for Scala☆13Jul 8, 2016Updated 9 years ago
- A compiler plugin to add support for trailing commas in Scala 2.11☆36Jun 28, 2016Updated 9 years ago
- さだまさしコンパイラ☆14Nov 5, 2016Updated 9 years ago
- some useful type class instances for Observable☆13Dec 17, 2014Updated 11 years ago
- convert to scalameta AST, generate scalafix rule template in web browser☆15Updated this week
- Runtime JVM Bytecode optimizer☆14Oct 7, 2016Updated 9 years ago
- Composable gens for ScalaMatsuri 2023☆14Apr 14, 2023Updated 2 years ago
- rabbitmq client in scalaz-stream☆14Aug 30, 2022Updated 3 years ago
- Misc scala utilities shared by the lichess.org scala projects.☆19Feb 4, 2026Updated last week
- Workshop on typeclasses in scala☆27Oct 2, 2017Updated 8 years ago
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Jul 20, 2023Updated 2 years ago
- Tiny lenses library with focus on ease of use.☆20May 29, 2018Updated 7 years ago
- A Scala library that provides various data structures.☆14May 6, 2019Updated 6 years ago
- Seekable sources and efficient incremental sinks☆17Sep 20, 2017Updated 8 years ago
- Simple fixture library for Scala☆14Nov 20, 2025Updated 2 months ago
- A lightweight library for functional programming.☆41Jul 2, 2019Updated 6 years ago
- Integration between jawn and fs2☆38Updated this week
- Data structure experimentation in scala☆15May 13, 2015Updated 10 years ago
- Support for JDK9's Multi Release JAR Files (JEP 238)☆17Sep 5, 2024Updated last year
- A core AST and utilities to manipulate geographical data☆22Sep 30, 2022Updated 3 years ago
- SBT Plugin for Compiling a Single File☆25Aug 16, 2018Updated 7 years ago
- HTTP/2 server in Scala using Akka Streams☆20Dec 1, 2015Updated 10 years ago
- Deprecated. Please use https://github.com/thesamet/sbt-protoc☆21Jun 19, 2019Updated 6 years ago
- A monadic library to resolve object relations with the aim of avoiding the N+1 query problem.☆54Aug 15, 2015Updated 10 years ago
- Ace facade types for Scala.js☆21Jun 29, 2017Updated 8 years ago
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- Play JSON Reads/Writes instances for refined types☆24Feb 5, 2026Updated last week
- Type-level API for standard collections☆33Jun 6, 2016Updated 9 years ago
- Mnemonics - Bytecode generation for scala☆22Jan 31, 2013Updated 13 years ago
- A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic☆44Jan 5, 2026Updated last month
- ☆84Mar 22, 2020Updated 5 years ago
- ☆11Oct 8, 2024Updated last year
- A Scala testing library for homeworks☆10Aug 17, 2022Updated 3 years ago