Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- AsciiDoc
- Assembly
- Bikeshed
- C
- C#
- C++
- CSS
- Circom
- Clojure
- CoffeeScript
- Cuda
- Dart
- Dockerfile
- Elixir
- Erlang
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Mojo
- Nix
- Noir
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- PowerShell
- Python
- R
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Starlark
- Swift
- SystemVerilog
- TeX
- TypeScript
- Vala
- Vim Script
- Vue
- Zig
This repository contains a curated collection of resources focused on auditing Move smart contracts. It includes tools, best practices, checklists, and guidelines to help developers and auditors en…
Primers for Specialist AI Smart Contract Auditors
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
A curated list of smart contracts security audits checklists and resources.
A no-code or framework to build blazing fast EVM indexers - built in rust.
A document designed to explain fault proof from multiple perspectives, aimed at quickly bringing newcomers up to speed on the mechanisms of fault proof and its specific code details.
A payments protocol for the internet. Built on HTTP.
A python interface for interacting with the Ethereum blockchain and ecosystem.
Some example patterns for building fault-tolerant Ethereum smart contracts
A pinocchio starter repo for based solana program development
An interactive tutorial to get you up and running with Noir
just solve it - a CLI utility to run a portfolio of SMT solvers in parallel
A curated list of content related to EIP-7702 account abstraction
Easily configurable liquidation bot for Morpho Blue
Turso Database is a project to build the next evolution of SQLite.
StealthNote is an application for people in an organization to anonymously broadcast messages.
Guidelines and training material to write secure smart contracts
Rust crates designed to simplify building Bitcoin wallets with seamless support for both on-chain and off-chain transactions via the Ark protocol.
Standards first web framework taking HTML, CSS, JS, and WASM to their peak