adelbertc Goto Github PK

nix-docker

Docker images for the Nix package manager

nixos-weekly

nixpkgs

Nix Packages collection

octoml-profile

Home for OctoML PyTorch Profiler

programming-in-idris

Following Idris tutorial, also playing around.

proposals-2016

talk proposals for the Northeast Scala Symposium 2016 (Philadelphia)

python-chess-engine-extensions

Search and evaluation extensions for python-chess

quiver

A reasonable library for modeling multi-graphs in Scala

rebind

Rebind is a Scala port/remake of the Haskell retry library.

repl-scala

Scala project I use on various machines to play with libraries.

rng

Pure-functional random value generation

rust-sandbox

Random Rust thought experiments and miscellany.

sabre

In-memory distributed graph processing of trivially parallelizable graph algorithms.

sbt-avro4s

Sbt plugin for avro4s

sbt-blockade

Warn or ban particular dependencies in a build to prevent usage.

sbt-ctags

SBT ctags is an SBT plugin that will generate ctags for your Scala project.

sbt-doge

sbt plugin to aggregate tasks across subprojects and their crossScalaVersions

sbt-quickfix

SBT plugin that routes compiler and test errors into a quickfix file

scala-optparse-applicative

Scala port of Paolo Capriotti's optparse-applicative library

scala-sandbox

Random Scala thought experiments and miscellany.

scala-skeleton

Skeleton for my Scala projects.

scala.g8

Basic project template that I find myself using often

scalacheck

Property-based testing for Scala

scalanet

Basic network simulator written in Scala 2.9.2 and Akka 2.0.3 for submission to the Typesafe Developer Contest.

scalataiwan

Scala Taiwan meetup slides

scalate-test

scalaworld

scalaz

An extension to the core Scala library for functional programming.

scrutinize

A pandoc filter in the spirit of the Scala tut documentation tool.

si2712fix-plugin

Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8