haskell-monad Goto Github PK

1inchprotocol

1inch Protocol – fully on-chain DeFi aggregation protocol

aada-finance

Aada is a decentralized lending and borrowing protocol built with Plutus smart contract

aada-tokens-swap

Aada Token swap smart contract used to swap AADA v1 to AADA v2

adablobs

This repository is for the ADABlobs website

adablobsplutus

This code repository is the Plutus code repository for the ADABlobs community NFT project.

ai4collab-bruno

Bruno is a speech-to-text-to-AI tool designed to facilitate collaborative learning in groupwork. The prototype application listens to human speech, provides a written transcript that identifies individual speakers, and passes the transcript and a chosen prompt to a LLM.

amazonka

https://github.com/wireapp/amazonka/archive/wire-2019-01-25.tar.gz

anansi

A simple MVC web framework for Rust

apollo

Cardano Pure Golang Building Blocks

ariadne

An open source Ada wallet for users who need more

aurora

aws

Amazon Web Services for Haskell

axel

Haskell + Lisp

aya-dev

The Aya Proof Assistant (WIP)

azure-tts-service

This project provides a RESTful API for converting text to speech using Microsoft's Azure Cognitive Services

backend-ico-dashboard

Free & open-source dashboard for your next ICO, crowdsale or tokensale

bigdata

一键部署hadoop集群

bisq2

blend_my_nfts

Easily generate thousands of 3D models, images, and animation NFTs automatically in Blender with Blend_My_NFTs.

blockfrost-js

Node.js SDK for the Blockfrost.io API.

blockscout

Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.

blog-image

broclanwallet

A multisig Wallet for the Cardano Ecosystem

cardano-contracts-registry

An off-chain registry to maintain labels, audits, and metadata for the dApps on Cardano

cardano-nft-auto-mint

A Cardano NFT vending machine written as a Bash script that runs on top of an existing Linux based Cardano node or can be run on a newly installed one.

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

cardano-swaps

A distributed order-book DEX using composable atomic swaps with full delegation control and endogenous liquidity.

cardano_wallet_sdk

Targeting Flutter apps, the Cardano Wallet SDK is a high-level Dart library for managing cryptocurrency accounts & executing transactions on the blockchain.

chattts

ChatTTS is a generative speech model for daily dialogue.

codex-storage-proofs

testing zk tooling