rtyley/bfg-repo-cleaner
Removes large or troublesome blobs like git-filter-branch does, but faster. And written in Scala
Scala - GPL-3.0 - Last pushed - 4.88K stars - 257 forks
ensime/ensime-server
ENSIME JVM Process
Scala - GPL-3.0 - Last pushed - 1.32K stars - 302 forks
atomist-attic/rug
Runtime for Rugs
Scala - GPL-3.0 - Last pushed - 61 stars - 14 forks
stanch/reftree
Automatically generated diagrams and animations for Scala data structures
Scala - GPL-3.0 - Last pushed - 404 stars - 19 forks
kaitai-io/kaitai_struct_compiler
Kaitai Struct: compiler to translate .ksy => .cpp / .cs / .dot / .java / .js / .php / .pm / .py /...
Scala - GPL-3.0 - Last pushed - 143 stars - 53 forks
epfl-lara/leon
The Leon system for verification, synthesis, and more.
Scala - GPL-3.0 - Last pushed - 137 stars - 47 forks
gapt/gapt
GAPT: General Architecture for Proof Theory
Scala - GPL-3.0 - Last pushed - 36 stars - 13 forks
Antox/Antox
Android client for Project Tox - Secure Peer to Peer Messaging
Scala - GPL-3.0 - Last pushed - 727 stars - 169 forks
gregdurrett/berkeley-doc-summarizer
The Berkeley Document Summarizer is a learning-based, single-document summarization system that e...
Scala - GPL-3.0 - Last pushed - 639 stars - 51 forks
dehun/learn-fp
learn-by-doing course/tutorial for functional programming on scala
Scala - GPL-3.0 - Last pushed - 439 stars - 62 forks
databricks/spark-corenlp
Stanford CoreNLP wrapper for Apache Spark
Scala - GPL-3.0 - Last pushed - 374 stars - 113 forks
epfl-lara/stainless
Verification framework for higher-order functional programs
Scala - GPL-3.0 - Last pushed - 103 stars - 22 forks
NewMotion/ocpp
Open Charge Point Protocol
Scala - GPL-3.0 - Last pushed - 51 stars - 24 forks
markwinter/Antox
Scala android client for Project Tox - secure p2p messaging
Scala - GPL-3.0 - Last pushed - 525 stars - 186 forks
jcranky/lojinha
a small store application, developed using Play 2 and Akka 2
Scala - GPL-3.0 - Last pushed - 187 stars - 59 forks
gregdurrett/berkeley-entity
The Berkeley Entity Resolution System jointly solves the problems of named entity recognition, co...
Scala - GPL-3.0 - Last pushed - 148 stars - 37 forks
paradigmatic/Configrity
Simple, immutable and flexible configuration library for scala.
Scala - GPL-3.0 - Last pushed - 138 stars - 19 forks
darrenjw/scala-course
Scala for Statistical Computing and Data Science Short Course
Scala - GPL-3.0 - Last pushed - 91 stars - 19 forks
stoerr/GrokConstructor
Semi-automatic incremental construction and debugging of regular expressions for grok to parse lo...
Scala - GPL-3.0 - Last pushed - 88 stars - 20 forks
HappyMelly/teller
Happy Melly Teller system
Scala - GPL-3.0 - Last pushed - 60 stars - 24 forks
btcontract/wallet
Bitcoin wallet for Android devices
Scala - GPL-3.0 - Last pushed - 59 stars - 44 forks
wireapp/wire-android-sync-engine
Sync library for Android.
Scala - GPL-3.0 - Last pushed - 54 stars - 22 forks
KarolS/fimpp
FIM++ interpreter
Scala - GPL-3.0 - Last pushed - 52 stars - 10 forks
AlexITC/crypto-coin-alerts
An application that let you set alerts for the prices of several cryptocurrencies
Scala - GPL-3.0 - Last pushed - 39 stars - 7 forks
AmailP/robot-plugin
Robot Framework support plugin for IntelliJ Idea
Scala - GPL-3.0 - Last pushed - 36 stars - 13 forks
pavelfatin/scala-for-project-euler
Concise functional solutions to the Project Euler problems
Scala - GPL-3.0 - Last pushed - 34 stars - 8 forks
WorldBank-Transport/open-transit-indicators
An open-source tool to support transport agencies in planning and managing public transit systems
Scala - GPL-3.0 - Last pushed - 32 stars - 16 forks
wireapp/generic-message-proto
Protocol definition for generic messages.
Scala - GPL-3.0 - Last pushed - 25 stars - 16 forks
eikek/sharry
Sharry is a self-hosted file sharing web application.
Scala - GPL-3.0 - Last pushed - 24 stars - 4 forks
NewMotion/ocpp-charger
Simple ocpp charger simulator
Scala - GPL-3.0 - Last pushed - 17 stars - 11 forks
License
Keyword
Language

Subscribe to an RSS feed of this search