dk14
Follow
-
-
-
rflows Public
reactive pipelines
-
old-school-f Public
functors, monads and DSLs WITHOUT implicits; NO type-classes; NO F[_] syntax;
-
-
marlowe-wolfram-starter-kit Public
Forked from marlowe-lang/marlowe-starter-kitThis 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.
Jupyter Notebook Apache License 2.0 UpdatedAug 8, 2023 -
-
marlowe-cardano Public
Forked from marlowe-lang/marlowe-cardanoMarlowe smart contract language Cardano implementation
Haskell Apache License 2.0 UpdatedJun 13, 2023 -
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 29, 2020 -
-
plutus Public
Forked from IntersectMBO/plutusThe Plutus language implementation and tools
Haskell Apache License 2.0 UpdatedJul 1, 2020 -
marlowe Public
Forked from marlowe-lang/marlowePrototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
JavaScript Apache License 2.0 UpdatedJun 2, 2020 -
-
dp Public
dynamic programming exercises
-
-
proofs Public
formal methods exercises
-
-
rasa_nlu Public
Forked from RasaHQ/rasaturn natural language into structured data
Python Apache License 2.0 UpdatedMar 8, 2018 -
rasa_core Public
Forked from RasaHQ/rasa_coremachine learning based dialogue engine for conversational software
Python Apache License 2.0 UpdatedFeb 28, 2018 -
typed-template Public
this macro generates parsers from specified grammars
-
data-science-ipython-notebooks Public
Forked from donnemartin/data-science-ipython-notebooksContinually updated data science Python notebooks: Deep learning (TensorFlow, Theano, Caffe), scikit-learn, Kaggle, big data (Spark, Hadoop MapReduce, HDFS), matplotlib, pandas, NumPy, SciPy, Pytho…
Python Other UpdatedFeb 13, 2017 -
machine-learning-experiments Public
Machine Learning (Deep vs Reinforcement) experiments
-
2pc Public
Two-Phase Commit on akka-actors
-
wartremover Public
Forked from wartremover/wartremoverFlexible Scala code linting tool
Scala UpdatedNov 5, 2016 -
println-debug Public
"trace" annotation allows you to automatically print every call to some method
-
scala.github.com Public
Forked from scala/docs.scala-langThe Scala Documentation website
JavaScript UpdatedSep 14, 2016 -
cache-performance Public
performance cross-testing; coherence hazelcast cassandra; grafana for metrics
-
lifo-set Public
thread-safe lock-free implementation of LIFO with unique elements
Scala UpdatedMay 26, 2016 -
fs2 Public
Forked from typelevel/fs2Compositional, streaming I/O library for Scala
Scala MIT License UpdatedApr 16, 2016