tomas-ajf Goto Github PK

atomic-swap

A trustless p2p trading dApp on Cardano

awesome-learning-haskell

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

bitcoin-scripting

Support for miniscript, script descriptors, and spending policies

cardano-lottery

The Open Source Cardano Lottery is a smart contract lottery built using plutus for the Cardano Blockchain. It is a non-custodial lottery where all interactions with the lottery are done directly with smart contracts and do not require any 3rd party to manage and hold any lottery funds.

cardano-smartcontracts

Building smart-contracts using plutus from Cardano

cnft-io-marketplace

The CNFT.IO Marketplace Smart Contracts

colorblock

🌈 Mint and sell NFT tokens without gas fees on Kadena network

cs-video-courses

List of Computer Science courses with video lectures.

dbms-mini-project

This project is made as part of VTU 5th sem ISE DBMS mini project.And the topic was Blood bank management system

decentralized-application-backend

Decentralized applicaton backend for Cardano.

discrete-mathematics

A computational way to study discrete mathematics using Haskell

emanote

Spiritual successor to neuron, based on Ema.

fracada

Fractionalized Cardano NFT protocol in Plutus.

freq

This is go CLI tool for send fast Multiple get HTTP request.

giftcontract-109

haskell-companies

A gently curated list of companies using Haskell in industry

haskell_code

juvix

Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

martify

NFT Marketplace on the Cardano Blockchain. Powered by Plutus Smart Contracts

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

mycrypto_mercadobitcoin

Aplicação de monitoração de valores de criptos através da API do Mercado Bitcoin.

olympus-contracts

openmemex

Open source, local-first knowledge platform.

plutarch

Typed eDSL for writing UPLC /ˈpluː.tɑːk/

plutonomicon

Advanced techniques in the plutus smart contract language

plutus

The Plutus language implementation and tools

plutus-pioneer-program

plutus-pioneer-program-1

plutus-starter

A starter project for Plutus apps