Synthesis of Heap-Manipulating Programs from Separation Logic
ScalaOtherdormant
Awesome Scala
Search 971 Scala projects →971 projects5 categoriesshowing 781–840, page 14 of 17
- 33%active
- 10%steady
- 17%slowing
- 40%dormant
Merged fromlauris/awesome-scalauhub/awesome-scala
Projects 781–840 of 971, most starred first
Lithium - A split-brain resolver for Akka-Cluster
ScalaApache License 2.0dormantarchived
Yet another Typesafe config Scala wrapper powered by circe
ScalaApache License 2.0active
Write small programs (eg -algorithms) in a functional way.
ScalaGNU General Public License v3.0dormant
Cross-platform CRON expression parsing for Scala
ScalaApache License 2.0active
HBase DSL for Scala with MapReduce support
ScalaApache License 2.0dormantarchived
A Scala Commodore 64, 128, VIC20, CBM2 and SuperCPU emulator
ScalaMIT Licensesteady
sbt plugin to create a unified Scaladoc or Javadoc API document across multiple subprojects.
ScalaApache License 2.0active
Scala Spores, safe mobile closures.
ScalaOtherdormant
DSL in Scala for Constraint Solving with Z3 SMT Solver
ScalaApache License 2.0dormant
Neo4j Scala library based on Anorm in the Play Framework
Scaladormant
Unified Scala.js + Scala HTTP client API
ScalaMIT Licensedormant
Probabilistic deep learning for data streams.
ScalaMIT Licensedormant
fire:剑指offer题解（Java & Scala实现）
Scaladormant
Thread-safe ZeroMQ for Scala
ScalaOtherdormantarchived
MongoDB Java client wrapper for Cats Effect & FS2 and ZIO
ScalaApache License 2.0active
A simple scala DSL to allow clean and monadic style for Play! Actions
ScalaOtherdormant
Scala API for Vaadin Framework
Scaladormant
Exercism exercises in Scala.
ScalaMIT Licenseactive
Gigahorse is an HTTP client for Scala with multiple backend support.
ScalaApache License 2.0active
Asynchronous Scala Clients for Amazon Web Services
ScalaApache License 2.0dormant
Production ready React wrapper for Scala.js - composable lifecycle - no memoization, no macros, no implicits.
ScalaMIT Licensesteady
Purely Functional Transaction Management In Scala With Cats
ScalaMIT Licenseslowingarchived
Play+Scala.js Showcase
ScalaDo What The F*ck You Want To Public Licensedormant
Typesafe, purely functional Computational Intelligence
ScalaApache License 2.0steady
TeamCity Slack plugin
ScalaMIT Licensedormant
Vert.x for Scala
Scalasteady
ZIO-powered OpenTelemetry library
ScalaApache License 2.0active
Library to plot graphs using a scala frontend, and various backends such as gnuplot, jfreegraph, matplotlib, etc.
ScalaBSD 2-Clause "Simplified" Licensedormant
a simple scala porting of https://github.com/deeplearning4j/dl4j-examples
ScalaOtherdormantarchived
Quickly create and develop full-stack Scala apps with ZIO and Laminar.
Scaladormant
Project for James' Apache Spark with Scala course
Scaladormant
Make your service more resilient by providing protection against traffic oversaturation
ScalaOtherdormant
Code for kickstarting a webapp using Scala + Spring + Hibernate + Maven + Selenium WebDriver PageObject Web Tests
ScalaOtherdormantarchived
Schema manipulation dialects and DSL for Slick
ScalaApache License 2.0active
Archived - Scala Macros
ScalaBSD 3-Clause "New" or "Revised" Licensedormantarchived
an sbt plugin for JaCoCo Code Coverage
ScalaEclipse Public License 1.0active
Minimal http4s + Doobie + ZIO + Circe Scala application to show how to build a purely functional web application in Scala.
Scaladormant
a publishing application for short texts
ScalaGNU Lesser General Public License v3.0active
Java,Groovy,Scala,Kotlin 四种语言的特点对比
Scaladormant
A lightweight, logicless templating engine, written in Scala and inspired by Mustache
ScalaOtherslowingarchived
There are pieces of scala code that explain Scala syntax and related things - like what you can do with all this
Scalaslowing
Asynchronous InfluxDB client for Scala
ScalaMIT Licensedormant
Tutorials on Lightweight Modular Staging
Scalaslowing
AST free JSON library for Scala
ScalaApache License 2.0active
Tiny independent libraries with a single purpose, often a single class
ScalaApache License 2.0slowingarchived
sbt plugin for Scalafix
ScalaBSD 3-Clause "New" or "Revised" Licenseactive
Scala and Akka for kids. A Functional Programming approach for the well known LOGO.
ScalaApache License 2.0dormant
A a dynamic x86_64 assembler in Scala — Code for the live coding session @ Devoxx france 2016
ScalaApache License 2.0dormant
Dotty way of writing Scala 2 code
ScalaMIT Licensedormant
A free and open-source SonarQube plugin for static code analysis of Scala projects.
ScalaGNU Lesser General Public License v3.0dormantarchived
Dependency extraction for Scala 2 codebases, to aid in modularizing
ScalaApache License 2.0active
CRUD Repositories for Slick based persistence Scala projects.
ScalaMIT Licenseslowing
Elm-inspired Scala library for writing web user interfaces
ScalaOtherdormant
Source code for Underscore's Essential Scala
ScalaCreative Commons Attribution 4.0 Internationalslowing
Moved
Scaladormant
A Discord library for Scala using Akka
ScalaMIT Licenseactive
Scala + Druid: Scruid. A library that allows you to compose queries in Scala, and parse the result back into typesafe classes.
ScalaApache License 2.0dormant
Clickhouse Scala Client with Reactive Streams support
ScalaGNU Lesser General Public License v3.0active
RESTful Web Framework based on Scala, built on top of Scalatra & Scalate
ScalaBSD 3-Clause "New" or "Revised" Licensedormant