Topics tagged michelson

Topic	Replies	Views	Activity
K-Michelson: a Case Study on Formal, Executable Language Specification Part II Project Updates michelson	0	750	December 14, 2020
Support UTF8 in Michelson string Research and Development michelson	1	887	December 12, 2020
Hicetnunc microfunding protocol DApps carthage , smartpy , michelson	6	4235	December 4, 2020
K-Michelson: a Case Study on Formal, Executable Language Specification Project Updates michelson	0	659	November 6, 2020
Contract versioning primitive Research and Development michelson	5	1031	November 2, 2020
Cryptoverse Wars - an immersive course to learn DApp development using SmartPy - Project Update Project Updates taquito , michelson , smartpy	0	2589	October 26, 2020
The 4th and the final 5th lesson of the "Introduction to Tezos" course is available on our website! Project Updates ligo , smartpy , michelson	0	1124	October 23, 2020
“Introducing Tezos” – an overview training course on Tezos blockchain and ecosystem. Project Updates ligo , michelson , smartpy	0	1198	October 6, 2020
Concurrency, BFS vs DFS (and a proposal) Research and Development michelson	15	5025	October 5, 2020
Replay-able Transactions, EIP 1337 implementation on Tezos Research and Development taquito , smartpy , michelson	2	1332	September 30, 2020
Proposal: Create new transactions with KT1 accounts Research and Development michelson	6	1539	September 17, 2020
Request for Comment on TZIP-12 (FA2): A Multi-Asset Interface for Tezos Research and Development smartpy , michelson , ligo	4	5774	September 6, 2020
K-Michelson: Verifying Michelson in Michelson Project Updates michelson	1	1397	August 21, 2020
TZIP-15 Token Transferlist Interface: request for comment Research and Development smartpy , ligo , michelson	0	1819	July 8, 2020
WIP: yallo, a new Tezos language Project Updates michelson	0	729	July 7, 2020
King of Tezos: a smart-ponzi contract on Tezos Project Updates michelson	2	971	June 26, 2020
Lazy Michelson storage Research and Development michelson	1	1050	June 19, 2020
Deriving FA token balance_updates from big_map_diff Research and Development michelson , metadata , tokens , indexers	7	3689	June 2, 2020
New Michelson Opcodes Research and Development michelson	0	969	June 1, 2020
A journey through DeFi Smart Contracts with Ligo Research and Development ligo , michelson	0	1555	May 21, 2020
Cache reads and delay writes in Michelson Research and Development michelson	4	1090	May 20, 2020
Compiling Juvix to Michelson Research and Development michelson	0	1181	May 8, 2020
Fixed Point Math Research and Development michelson	0	1046	April 3, 2020
Michelson REPL in a Jupyter notebook Project Updates michelson	0	1547	March 12, 2020
Maintaining internal state between callbacks Research and Development michelson	9	1566	February 17, 2020
PSA: do not quote gas cost in tez Philosophy and Economics michelson	2	3165	February 11, 2020
Comparing Michelson and WebAssembly Research and Development ligo , michelson , wasm	2	2611	December 22, 2019