Pinned Repositories
ali
Automatic adjustment of display brightness
aparapi
Carnifex
put your ICPC contestants in their place
checktestdata
checks integrity of test data in programming contests like the ACM ICPC
chronix.spark
Time series analysis with Apache Spark based on Chronix |
domjudge
DOMjudge programming contest jury system
embed_data
ghcjs
Haskell to JavaScript compiler, based on GHC
gtl
The GALS Transformation Language
language-nusmv
Haskell parser for the NuSMV input language
TPolzer's Repositories
TPolzer/Carnifex
put your ICPC contestants in their place
TPolzer/ali
Automatic adjustment of display brightness
TPolzer/aparapi
TPolzer/checktestdata
checks integrity of test data in programming contests like the ACM ICPC
TPolzer/chronix.spark
Time series analysis with Apache Spark based on Chronix |
TPolzer/domjudge
DOMjudge programming contest jury system
TPolzer/embed_data
TPolzer/ghcjs
Haskell to JavaScript compiler, based on GHC
TPolzer/gtl
The GALS Transformation Language
TPolzer/language-nusmv
Haskell parser for the NuSMV input language
TPolzer/multiprecision
TPolzer/proto-lens
API for protocol buffers using modern Haskell language and library patterns. This is not an official Google product.
TPolzer/rules_hex
Bazel rule to convert bin to hex
TPolzer/spark-clrdd
TPolzer/spark-solr
Tools for reading data from Solr as a Spark RDD and indexing objects from Spark into Solr using SolrJ.