There are 2 repositories under michelson topic.
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos by softstack (formerly Chainsulting)
🐍 Python SDK for Tezos | Michelson VM in Python
Hic et Nunc smart contracts. FA2 multiassets: hDAO, OBJKTs, Marketplace, SUBJKTs and Unregistry.
Resources for Tezos Developers
Jupyter kernel for the Michelson language
A curated list of Tezos Ecosystem dApps, tools, and communities.
michelson/smartpy smart contracts repository
IntelliJ support for the Tezos platform. Support for Michelson for now.
Atomex protocol implementation in pure Michelson
An vim plugin for the Michelson smart contracts language used by tezos
Swift library for interacting with Tezos blockchain
Compilation of an extended lambda-calculus to Michelson
🎓 Series of Jupyter notebooks for training in Tezos development & analysis
BMSTU Student Interference Simulation - WebApp
Tezos smart contracts for Warden.
SmartPy smart contract development platform for the Tezos blockchain.
Michelson & Morley syntax highlighting
Uanon Tezos contracts
An intergrated development environment specialized for the Tezos smart contract language Michelson
VSCode extension enabling formal verification of Tezos smart contracts through the use of Whylson tool.
wuwei無為 price feed experiment
Michelson frontend for LiSA
Shutter-Shack-Photo-Album-Gallery-App
Projects glossary for projects done by members of Tezos Developer's Community, Vellore.
A platform for trying Lorentz - eDSL for writing Tezos smart contracts.