dk14's repositories

2pc

Two-Phase Commit on akka-actors

Language:ScalaStargazers:6Issues:3Issues:0

old-school-f

functors, monads and DSLs WITHOUT implicits; NO type-classes; NO F[_] syntax;

Language:ScalaLicense:Apache-2.0Stargazers:5Issues:3Issues:0

cache-performance

performance cross-testing; coherence hazelcast cassandra; grafana for metrics

Language:JavaStargazers:2Issues:3Issues:0

println-debug

"trace" annotation allows you to automatically print every call to some method

Language:ScalaStargazers:2Issues:3Issues:0

dp

dynamic programming exercises

Language:ScalaStargazers:1Issues:3Issues:0

machine-learning-experiments

Machine Learning (Deep vs Reinforcement) experiments

Language:Jupyter NotebookLicense:MITStargazers:1Issues:3Issues:0

proofs

formal methods exercises

Language:CoqLicense:Apache-2.0Stargazers:1Issues:2Issues:0

rflows

reactive pipelines

Language:ScalaLicense:Apache-2.0Stargazers:1Issues:2Issues:1

typed-template

this macro generates parsers from specified grammars

Language:ScalaStargazers:1Issues:3Issues:0
Language:ScalaStargazers:0Issues:3Issues:0

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.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:3Issues:0

emacs-init

My emacs init

Language:CoqStargazers:0Issues:3Issues:0

fs2

Compositional, streaming I/O library for Scala

Language:ScalaLicense:MITStargazers:0Issues:3Issues:0

lifo-set

thread-safe lock-free implementation of LIFO with unique elements

Language:ScalaStargazers:0Issues:3Issues:0
Language:JavaScriptStargazers:0Issues:1Issues:0

marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

marlowe-cardano

Marlowe smart contract language Cardano implementation

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:1Issues:0

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.

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:1Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:2Issues:0

plutus

The Plutus language implementation and tools

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:3Issues:0

rasa_core

machine learning based dialogue engine for conversational software

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

rasa_nlu

turn natural language into structured data

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

scala

The Scala programming language

Language:ScalaStargazers:0Issues:3Issues:0

scala.github.com

The Scala Documentation website

Language:JavaScriptStargazers:0Issues:3Issues:0
Language:ScalaStargazers:0Issues:3Issues:0
Language:HTMLStargazers:0Issues:3Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

wartremover

Flexible Scala code linting tool

Language:ScalaStargazers:0Issues:3Issues:0