zenprotocol / ZulibLinks
Zen Protocol Standard Library
☆10Updated 4 years ago
Alternatives and similar repositories for Zulib
Users that are interested in Zulib are comparing it to the libraries listed below
Sorting:
- Bitcoin Confidential Core Wallet☆10Updated 3 years ago
- Notes for Comp 251☆10Updated 4 years ago
- lambda function for eks deployment☆10Updated 7 years ago
- LightText (LT) is a lightning wallet that allows you to send and receive bitcoin payments over the lightning network. LT is an SMS client…☆10Updated 6 years ago
- Work in progress - French version of the yellow paper☆10Updated 8 years ago
- monerobux modules for sopel irc bot☆10Updated 4 years ago
- Toy Lisp to Python compiler☆10Updated 11 years ago
- Eslint defaults rules for our Javascript projects☆10Updated 2 years ago
- This is a JavaScript based Web App that uses API's and Ajax to generate random quotes☆10Updated 8 years ago
- a frontend for interacting with theCyber contracts and managing memberships.☆10Updated 7 years ago
- ☆10Updated 3 years ago
- ☆10Updated 7 years ago
- The default client for the Zen Protocol. Mirrored from https://gitlab.com/zenprotocol/zenprotocol☆53Updated last year
- Hack on nice json wire format for thrift☆10Updated 7 years ago
- url shortener☆10Updated 6 years ago
- Main RESTful API for ascribe ownership web service.☆20Updated 8 years ago
- Haskell library for manipulating and evaluating polynomials☆20Updated 3 years ago
- x-editable for react☆11Updated 10 years ago
- Node and GUI for the Zen Protocol.☆35Updated 8 years ago
- An introductory tutorial for the Coq proof assistant.☆10Updated 6 years ago
- Simple Blink Example using Raspberry Pi, LED Light and Ethereum for Meetup Class☆30Updated 8 years ago
- A RESTful Service Query Language (RSQL) Parser in NodeJS☆10Updated 8 years ago
- Cluster deployment and cloud management tool with docker-machine☆10Updated 9 years ago
- ☆10Updated 3 years ago
- ☆20Updated 12 years ago
- Read game data from PokerStars Game Client☆10Updated 4 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Updated 5 months ago
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors☆20Updated 6 years ago