dk14's starred repositories
python-miio
Python library & console tool for controlling Xiaomi smart appliances
CNN_sentence
CNNs for sentence classification
documentation
Documentation for the PureScript language, compiler, and tools.
Simulating-an-Economy-ABM
Simulation of reward tokens in a DAO ⚡️Employs multi-agent simulations and discrete-time Markov random fields.
actus-techspecs
The ACTUS technical specifications
actus-dictionary
This repository contains the actus dictionary and generation scripts
BitCollect
Efficient scraper for collecting Bitcoin data
intero-nix-shim
Intero Haskell IDE with Nix instead of Stack
marlowe-actus-labs
Deploy ACTUS contracts on Cardano from your web browser