dk14

bitcoin

Bitcoin Core integration/staging tree

ish

Linux shell for iOS

blackbird

Blackbird Bitcoin Arbitrage: a long/short market-neutral strategy

shiny

Easy interactive web applications with R

python-miio

Python library & console tool for controlling Xiaomi smart appliances

AFL

american fuzzy lop - a security-oriented fuzzer

agda

Agda is a dependently typed programming language / interactive theorem prover.

mesa

Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

zio-quill

Compile-time Language Integrated Queries for Scala

CNN_sentence

CNNs for sentence classification

nixops

NixOps is a tool for deploying to NixOS machines in a network or cloud.

niv

Easy dependency management for Nix projects

brick

A declarative Unix terminal UI library written in Haskell

haskell

Haskell bindings for TensorFlow

plutus

The Plutus language implementation and tools

documentation

Documentation for the PureScript language, compiler, and tools.

lorri

Your project's nix-env

tasty

Modern and extensible testing framework for Haskell

eos-vm

A Low-Latency, High Performance and Extensible WebAssembly Backend Library

marlowe

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

schmitty

Agda bindings to SMT-LIB2 compatible solvers.

Simulating-an-Economy-ABM

Simulation of reward tokens in a DAO ⚡️Employs multi-agent simulations and discrete-time Markov random fields.

r-wasm

INACTIVE - http://mzl.la/ghe-archive - modifying R to compile with wasm

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

hriemann

A Riemann Client for Haskell

marlowe-actus-labs

Deploy ACTUS contracts on Cardano from your web browser

marlowe-wolfram-webdoc