#
scilla
Here are 34 public repositories matching this topic...
-
Updated
Jan 9, 2019 - Shell
A bouncer proxy implementation designed to enable zilliqa metatransaction processing
-
Updated
Aug 20, 2019 - JavaScript
-
Updated
Oct 8, 2019
Emacs support for the Scilla programming language
-
Updated
Nov 5, 2019 - Emacs Lisp
State-Transition Systems for Smart Contracts
-
Updated
Sep 3, 2020 - Coq
Adds syntax highlighting and snippets to Scilla files in Atom. (WIP)
-
Updated
Feb 10, 2021
A Simple Zilliqa Project on House Rental
-
Updated
Apr 1, 2021 - JavaScript
Quadratic Voting smart contracts for Zilliqa
open-source
decision
dapp
smart-contracts
vote
election
zilliqa
scilla
governance-dapps
quadratic-voting
decentralized-governance
registration-period
-
Updated
Apr 26, 2021 - TypeScript
Improve this page
Add a description, image, and links to the scilla topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the scilla topic, visit your repo's landing page and select "manage topics."