Popular repositories Loading

1. barrier-option barrier-option Public

   Binomial tree model for options

   Scala 3

2. idris-book idris-book Public

   Exercises form Type-Driven Programming in Idris

   Idris 2 1

3. surefire-sbt surefire-sbt Public

   Forked from bryanjswift/surefire-sbt

   SBT plugin to add surefire-style output for SBT test executions.

   Scala 1

4. Scalala Scalala Public

   Forked from scalala/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.

   Scala 1

5. Boom Boom Public

   Model Checker for Boolean Programs

   1

6. xlloop xlloop Public

   Forked from poidasmith/xlloop

   XLLoop Excel Function (UDF) Server

   Java 1