Pinned

1. old-school-f old-school-f Public

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

   Scala 5

2. 2pc 2pc Public

   Two-Phase Commit on akka-actors

   Scala 6 2

3. machine-learning-experiments machine-learning-experiments Public

   Machine Learning (Deep vs Reinforcement) experiments

   Jupyter Notebook 1 1

4. proofs proofs Public

   formal methods exercises

   Coq 1

5. rflows rflows Public

   reactive pipelines

   Scala 1

6. marlowe-wolfram-webdoc marlowe-wolfram-webdoc Public

   JavaScript 1