Pinned Repositories
2pc
Two-Phase Commit on akka-actors
bell
experimental CHSH inequality violation using local hidden parameters
cache-performance
performance cross-testing; coherence hazelcast cassandra; grafana for metrics
dp
dynamic programming exercises
machine-learning-experiments
Machine Learning (Deep vs Reinforcement) experiments
marlowe-wolfram-webdoc
old-school-f
functors, monads and DSLs WITHOUT implicits; NO type-classes; NO F[_] syntax;
println-debug
"trace" annotation allows you to automatically print every call to some method
proofs
formal methods exercises
rflows
reactive pipelines
dk14's Repositories
dk14/2pc
Two-Phase Commit on akka-actors
dk14/old-school-f
functors, monads and DSLs WITHOUT implicits; NO type-classes; NO F[_] syntax;
dk14/cache-performance
performance cross-testing; coherence hazelcast cassandra; grafana for metrics
dk14/println-debug
"trace" annotation allows you to automatically print every call to some method
dk14/dp
dynamic programming exercises
dk14/machine-learning-experiments
Machine Learning (Deep vs Reinforcement) experiments
dk14/marlowe-wolfram-webdoc
dk14/proofs
formal methods exercises
dk14/rflows
reactive pipelines
dk14/typed-template
this macro generates parsers from specified grammars
dk14/actus-test-kit
dk14/data-science-ipython-notebooks
Continually updated data science Python notebooks: Deep learning (TensorFlow, Theano, Caffe), scikit-learn, Kaggle, big data (Spark, Hadoop MapReduce, HDFS), matplotlib, pandas, NumPy, SciPy, Python essentials, AWS, and various command lines.
dk14/emacs-init
My emacs init
dk14/fs2
Compositional, streaming I/O library for Scala
dk14/lifo-set
thread-safe lock-free implementation of LIFO with unique elements
dk14/markdown-docs
dk14/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
dk14/marlowe-cardano
Marlowe smart contract language Cardano implementation
dk14/marlowe-wolfram-starter-kit
This repository contains lessons for using Marlowe via REST and at the command line. It is meant to be used with demeter.run or with a Docker deployment of Marlowe Runtime.
dk14/nixpkgs
Nix Packages collection
dk14/plutus
The Plutus language implementation and tools
dk14/q
dk14/rasa_core
machine learning based dialogue engine for conversational software
dk14/rasa_nlu
turn natural language into structured data
dk14/scala
The Scala programming language
dk14/scala.github.com
The Scala Documentation website
dk14/sla
dk14/test
dk14/warriors
dk14/wartremover
Flexible Scala code linting tool