xGov
avm-semantics
xGov | avm-semantics | |
---|---|---|
32 | 2 | |
48 | 15 | |
- | - | |
9.8 | 3.2 | |
9 days ago | 6 days ago | |
JavaScript | Python | |
Creative Commons Zero v1.0 Universal | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
xGov
-
[xGov-42] Project Galapago - NFT Lending Protocol - Poject Galapago
(2023-07-05 11:24:40) Project Galapago XGov Grant Proposal (+145/-0 lines)
-
[xGov-39] Humble.sh Hummingbot connector - CoinAlpha
(2023-06-28 19:53:20) Update xgov-39.md (+1/-1 lines)
-
[xGov-36] Choice Coin Slot Machine - Choice Coin DAN
(2023-06-21 22:52:26) Proposal for new Choice Coin Application (+129/-0 lines)
-
[xGov-35] Staking - Cometa
(2023-06-20 15:58:58) proposal draft (+109/-0 lines)
-
[xGov-34] Algorand-Monero Swaps - 679 Labs AB
(2023-06-18 08:46:44) Rename xgov-x.md to xgov-34.md (+0/-0 lines)
-
[xGov-32] wiki3 - 2i2i
(2023-06-17 19:04:39) init (+57/-0 lines)
-
[xGov-30] ShareALGO+CreditRating - 2i2i
(2023-06-17 18:13:51) Add arbitrary precision exp, log, pow to the AVM (+50/-0 lines)
-
[xGov-31] Add arbitrary precision exp, log, pow to the AVM - 2i2i
(2023-06-17 18:18:14) remove - use new branch (+0/-50 lines)
-
[xGov-28] Algorand SVM Chain Proposal—Technical Deep Dive - Eclipse
(2023-06-16 17:14:31) Create xGov-28: Algorand SVM Chain Proposal.md (+168/-0 lines)
-
[xGov-27] ShareALGO+CreditRating - 2i2i
(2023-06-14 01:27:34) Rename xgov-x.md to xgov-27.md (+0/-0 lines)
avm-semantics
-
Mark Petruska has requested 250000 Algos for the development of a Coq-avm library for AVM version 8
K framework AVM semantics implementation: https://github.com/runtimeverification/avm-semantics
-
Runtime Verification Brings Formal Verification to Algorand
K Framework is an operational semantics framework — a programming language for programming languages! K powers the formal verification services provided by Runtime Verification Inc. We have successfully applied K in the Ethereum space with KEVM, and we are now bringing our expertise and the power of K to Algorand with KAVM.
What are some alternatives?
vscode-teal - Algorand TEAL language support for Visual Studio Code
evm-semantics - K Semantics of the Ethereum Virtual Machine (EVM)
ceal - C to Algorand TEAL compiler
channel - The ASA Stats official communication channel.
docs - Repository containing roadmap and code of conduct documents, as well as the current status of bug reports, feature requests, and research.
ARCs - Algorand Requests for Comments
algorand-provisioning - Ansible playbook for idempotent provisioning of the Algorand node to various OS distributions.
goas-release
v2 - Choice Coin v2
coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
wiki3 - trustless truth ~ wikipedia on web3 ~ socially defined truth
ams - Algorand MultiSig tools (proof of concept; early alpha; etc.)