gbasler

barrier-option

Binomial tree model for options

idris-book

Exercises form Type-Driven Programming in Idris

autocheck

QuickCheck and SmallCheck clones for C++

boxer

bp-reduce

Automatic reduction of candidates for regression tests.

CppQuickCheck

QuickCheck-like property based automated testing tool for C++

cuda-design-patterns

Some CUDA design patterns and a bit of template magic for CUDA

dpll

drscala

DrScala - A doctor for your code

drscala-test

Test project for DrScala.

Financial-Engineering-Formulas

Collection of Formulas from the Financial Engineering lecture

JVBench

Performance analysis benchmark suite for the Java Vector API

libbacktrace-example

GDB's minidebuginfo (XZ compressed debug sections) with patched libbacktrace & boost/stacktrace

mapGroups

nearly-complete-binary-tree

pitest

State of the art mutation testing system for the JVM

sbt-example

An example SBT project which uses macros (Scala 2.10, SBT 0.13)

sbt-java-agent

sbt-plugin

Jenkins sbt plugin

scala

The Scala programming language

scala-js

Scala.js, a Scala to JavaScript compiler

scala-vector-examples

scalameter-example

scalariform

Scala source code formatter

scct

Scala Code Coverage Tool

slick

Scala Language Integrated Connection Kit

specs2-examples

Toy project... just to get Spec2 transitive deps right...

squid

Squid – type-safe metaprogramming and compilation framework for Scala

Stopwatch

C++ implementation of a Stopwatch class

xchange-stream

XChange-stream is a Java library providing a simple and consistent streaming API for interacting with Bitcoin and other crypto currency exchanges via WebSocket protocol. It is build on top of of XChange library providing new interfaces for streaming API. User can subscribe for live updates via reactive streams of RxJava library.