gbasler Goto Github PK

autocheck

QuickCheck and SmallCheck clones for C++

barrier-option

Binomial tree model for options

boom

Model Checker for Boolean Programs

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

habanero-scala-test

idris-book

Exercises form Type-Driven Programming in Idris

ifdef

`@ifdef` is an annotation that implements conditional compilation in Scala

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-compiler-plugins

An example of creating your own Scala compiler plugin.

scala-js

Scala.js, a Scala to JavaScript compiler

scala-vector-examples

scalala

Scalala is a high performance numeric linear algebra library for Scala, with rich Matlab-like operators on vectors and matrices; a library of numerical routines; support for plotting.

scalameter-example

scalariform

Scala source code formatter

scct

Scala Code Coverage Tool