https://github.com/dk14/bell

experimental CHSH inequality violation using local hidden parameters

Last synced: 27 May 2026

https://github.com/dk14/mega-peers

A p2p fact sharing network

cryptography oracle p2p p2p-exchange p2p-network trading wolfram

Last synced: 22 May 2026

https://github.com/dk14/typed-template

this macro generates parsers from specified grammars

ast grammar macros parse scala

Last synced: 22 May 2026

https://github.com/dk14/machine-learning-experiments

Machine Learning (Deep vs Reinforcement) experiments

apache-spark machine-learning-algorithms reinforcement-learning-algorithms scala

Last synced: 28 Apr 2026

https://github.com/dk14/proofs

formal methods exercises

coq proof-assistant proof-general

Last synced: 17 May 2026

https://github.com/dk14/fqc

Linear Quantum Portfolio Optimizer

Last synced: 19 May 2026

https://github.com/dk14/actus-test-kit

Last synced: 19 May 2026

https://github.com/dk14/warriors

Last synced: 06 Apr 2026

https://github.com/dk14/functional-streaming-elementals

Examples of scalaz-stream vs akka-streams; typeclasses concept

examples haskell scala scalaz streaming

Last synced: 27 Apr 2026