Simple scala icon with shadow
☆65Sep 14, 2014Updated 11 years ago
Alternatives and similar repositories for scala-icon
Users that are interested in scala-icon are comparing it to the libraries listed below
Sorting:
- Forget your methods☆41Dec 1, 2017Updated 8 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- A Scala client for Elasticsearch’s HTTP API which presents Scala-idiomatic, typed interface. Elasticsearch exposes an HTTP API with sever…☆16Jul 16, 2017Updated 8 years ago
- 100 example uses for Kotlin dataframe☆11Feb 13, 2024Updated 2 years ago
- Regex-based search across package repositories☆13Nov 9, 2019Updated 6 years ago
- sbt APIs targeted for eventual inclusion in sbt core☆12Feb 21, 2015Updated 11 years ago
- Final tagless talk sources.☆15May 4, 2017Updated 8 years ago
- Scala macro for composition of trait instances☆17Jul 12, 2017Updated 8 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 7 years ago
- A simple and educational compiler for the SASL programming language☆23Apr 16, 2018Updated 7 years ago
- util modules for sbt☆15Apr 24, 2020Updated 5 years ago
- Object algebras vs. free monads, or type classes vs. ADTs☆17Jun 9, 2017Updated 8 years ago
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 7 years ago
- Derivation of Optimized Definitions Based on Specs☆14Sep 28, 2019Updated 6 years ago
- Reactive Romeo and Juliet☆15Jul 16, 2015Updated 10 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Jan 6, 2026Updated 2 months ago
- A quick test of a couple of data frame libraries for Java☆21Jun 6, 2025Updated 9 months ago
- Data structure experimentation in scala☆15May 13, 2015Updated 10 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Jul 7, 2018Updated 7 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- A handful of potentially useful crap for Standard ML☆21Sep 11, 2017Updated 8 years ago
- Scala compiler plugin which provides syntax for contexts `x ⊢ { ... }`☆19Aug 29, 2017Updated 8 years ago
- A Java library that can do URL normalization, unshorten URL, and URL extraction.☆19Oct 19, 2017Updated 8 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- Captures HTTP client traffic and pretty prints it with any Java logger. Supported clients: OkHttp, OkHttp3, ApacheHttpClient.☆23Updated this week
- IO module for sbt☆46Mar 3, 2026Updated last week
- An sbt plugin to publish releases on Github☆42Jan 27, 2021Updated 5 years ago
- ☆23Apr 17, 2018Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 12 years ago
- Talks on category-parametric programming.☆23Dec 15, 2023Updated 2 years ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- An Sbt plugin that fills apiMappings for common Scala libraries.☆90Mar 1, 2026Updated last week
- A port of http://web.archive.org/web/20130326233424/http://contracts.scheming.org/- an implementation of Composing contracts: an adventu…☆40Oct 16, 2015Updated 10 years ago
- /** KoDEx */: Kotlin Documentation Extensions. KDoc preprocessor Gradle plugin and IDEA plugin (Beta).☆26Dec 23, 2025Updated 2 months ago
- Immutable priority maps for Scala☆38Jan 12, 2017Updated 9 years ago
- Cats instances for ScalaCheck data types☆18Nov 21, 2016Updated 9 years ago
- Scalaz Japanese Documentation☆22Updated this week
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- Simple and secure artifact signing for sbt.☆49Sep 3, 2024Updated last year