anovstrup Goto Github PK

anovstrup.github.com

dgst

DGST: Efficient and Scalable Generalized Suffix Tree Construction on Apache Spark

dsiutils

The DSI Utilities are a mishmash of classes accumulated during the last twenty years in projects developed at the DSI (Dipartimento di Scienze dell'Informazione, i.e., Information Sciences Department), now DI (Dipartimento di Informatica, i.e., Informatics Department), of the Università degli Studi di Milano.

sbt-install4j

SBT plugin for building installers with Install4J

sbt-jasmine-plugin

An SBT plugin for running jasmine tests in your build.

scala-dev

Scala, the Git Mirror. Official repository is svn: http://lampsvn.epfl.ch/svn-repos/scala

scalagwt-sample

Sample Scala+GWT project

scalagwt-scala

Temporary fork of Scala for supporting Scala+GWT.

scalaz

fork from https://github.com/scalaz/scalaz

scalaz-analytics

A high-performance, purely-functional library for doing computational analysis and statistics over data in a type-safe way

scalaz-zio

ZIO — Type-safe, composable concurrency for Scala

shipwright

This repository is the repository where we create Docker images for various projects around unison land.

slick-migration-api

Schema manipulation dialects and DSL for Slick

swagger-play

swagger-ui

Swagger UI is a dependency-free collection of HTML, Javascript, and CSS assets that dynamically generate beautiful documentation from a Swagger-compliant API.

ucm-push-not-working

unison

A friendly programming language from the future

unison-all

unison codebase

unison-memo

a tiny Unison memoization library

unison-packages

unison-tmlanguage

A TextMate grammar for the Unison language.

unisonweb-base

Unison base libraries

unisonweb-org

Source for the unisonweb.org website