List of libraries, developer tools and projects, related to Simplicity The coins move after a timeout if the hot key signs.
Simplicity — implementation of Simplicity language on C, Haskell and Coq. It’s core library code for Simplicity. Contains technical documentation about Simplicity.
rust-simplicity — rust library for Simplicity, created for SimplicityHL compiler. Also contains simplicity-sys — FFI bindings for Simplicity in Rust.
rust-elements — Rust library for working with Elements and Liquid Bitcoin. Almost every project for Simplicity using rust-elements as dependency.
SimplicityHL — official compiler for SimplicityHL language, builds project into Simplicity bytecode.
simfony-cli — compiler of SimplicityHL language, developed by Starkware. Can run, build, test and deploy SimplicityHL smart contracts.
simply — yet another compiler for SimplicityHL, developed by Starkware. Can run, build and deploy SimplicityHL smart contracts.
simplicity-webide — Web IDE for SimplicityHL. (source code)
simplicity-hal — extension of hal program with Simplicity and Elements support.
VS Code extension for Simplicity - Visual Studio Code extension for highlighting SimplicityHL code. (source code)
simfony-wallet — Liquid Bitcoin wallet for Simplicity.
simpiwallet — Liquid Bitcoin wallet with Simplicity support (abandoned).
stark-symphony — STARK verifier on SimplicityHL.
stwo-verifier — STWO verifier on SimplicityHL.
non interactive fee bump — non interactive fee bump implementation. Change of fee without interaction with the sender.
presigned vault — concept of hot and cold keys, which allow control over funds using a timelock.
recursive covenant — recursive covenant with inheritance feature. An example of the concept of hot, cold, and inheritance keys in the implementation of recursive covenants with a 180-day timelock.
trivial examples — examples of more trivial programs on SimplicityHL.