mhlr/bobj
algebraic specification and verification system
Developer Profile
mhlr
Discovered public repositories for mhlr in the GitHub catalog.
mhlr/virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
mhlr/js-scala
js.scala: JavaScript as an embedded DSL in Scala
mhlr/lms-tutorial
Public repository.
mhlr/factorie
FACTORIE is a toolkit for deployable probabilistic modeling, implemented as a software library in Scala. It provides its users with a succinct language for creating relational factor graphs, estimating parameters and performing inference.
mhlr/scala-virtualized-tutorial
Tutorial programs that illustrate how to use scala-virtualized
mhlr/Scalala
Scalala has been superseded by dlwh/breeze. 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.
mhlr/training
Training materials for Strata, AMP Camp, etc
mhlr/sbt
sbt, a build tool for Scala
mhlr/breeze
Breeze is a library for numerical processing, machine learning, and natural language processing. Its primary focus is on being generic, clean, and powerful without sacrificing (much) efficiency. Breeze is the merger of the ScalaNLP and Scalala projects, because one of the original maintainers is unable to continue development. The Scalala parts are largely rewritten.
mhlr/pyrallel
Experimental parallel data analysis toolkit.
mhlr/Delite
The Delite Git Repo
mhlr/Forge
A prototype meta DSL that generates Delite DSL implementations from a specification-like program.
mhlr/Green-Marl
A DSL for efficient Graph Analysis
mhlr/OptiQL
Various Implementations of OptiQL
mhlr/la4s
Linear Algebra for Java
mhlr/scikit-learn
scikit-learn: machine learning in Python
mhlr/try_git
Public repository.