Checklist for assessing Tezos smart contracts' security
☆12Apr 14, 2023Updated 2 years ago
Alternatives and similar repositories for TezosSecurityAssessmentChecklist
Users that are interested in TezosSecurityAssessmentChecklist are comparing it to the libraries listed below
Sorting:
- TV show scraper/renamer thingy☆12May 10, 2013Updated 12 years ago
- Android Open Accessory proxy to connect Android devices to Linux based systems☆13Dec 26, 2025Updated 2 months ago
- ☆12May 15, 2023Updated 2 years ago
- RFID controller for the Sonos music player☆15Jul 16, 2019Updated 6 years ago
- Geo-Distributed Infrastructure Emulation using Traffic Shaping☆12Jan 30, 2018Updated 8 years ago
- ZeroVM glibc port (part of the gcc toolchain)☆12Apr 3, 2015Updated 10 years ago
- a Device Management Daemon☆13Jan 13, 2024Updated 2 years ago
- Backup Utility for automatically managing and restoring the Don't Starve save files☆10Jul 19, 2014Updated 11 years ago
- AR.FreeFlight/AR.Drone 2.0 SDK☆12Sep 4, 2015Updated 10 years ago
- Lame sockJS chat demo☆18Oct 30, 2018Updated 7 years ago
- ☆15Mar 11, 2025Updated 11 months ago
- Automate Recon process using Shell Scripting☆11Nov 26, 2021Updated 4 years ago
- EventMachine based HTTP Request interface☆18Feb 17, 2009Updated 17 years ago
- Logseq git sync☆10May 6, 2023Updated 2 years ago
- Experimental CPU-bound (soon GPU) vanity onion address generator. Moved to https://gitlab.com/dphillips/sand-leek☆11Sep 5, 2020Updated 5 years ago
- Resources for the workshop "3 ways you can use ontologies in neo4j" at Graph Connect 2022☆10Jun 7, 2022Updated 3 years ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- Reading whitespace-separated values in Rust☆11Nov 29, 2019Updated 6 years ago
- Mathematical modelling of Magic the Gathering☆10Aug 9, 2021Updated 4 years ago
- ☆10Oct 15, 2019Updated 6 years ago
- 地物属性や密集度等のパラメータ、衛星画像・沿道画像（任意）を入力として、3D都市モデルを生成するツール☆16Mar 21, 2025Updated 11 months ago
- Lean business lists☆13Apr 14, 2025Updated 10 months ago
- 🔒📈 Host file tools written in rust.☆15Dec 23, 2025Updated 2 months ago
- Read-only mirror. Please submit merge requests / issues to https://gitlab.com/libvirt/libvirt-sandbox☆13Aug 22, 2023Updated 2 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- 简单易用的IP代理池爬虫框架，除BeautifulSoup以外不依赖任何第三方框架，简单修改解析规则，甚至BeautifulSoup都可以不用☆11Sep 28, 2018Updated 7 years ago
- A simple go app that connects to a sqlite3 database☆11Sep 18, 2018Updated 7 years ago
- celq - A Common Expression Language (CEL) CLI Tool☆23Feb 7, 2026Updated 3 weeks ago
- ShEx Graphic Assistant☆11Jan 24, 2023Updated 3 years ago
- Command to run a dev-server, build etc. with OpenPGP. On top of webpack.☆11Aug 11, 2021Updated 4 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Unserialize PHP serialized data in T-SQL☆13Apr 9, 2015Updated 10 years ago
- Convert ML Models to Flask + Gunicorn + Docker Service.☆12Oct 15, 2022Updated 3 years ago
- This project ties together Flask, Dash, Docker and Nginx for bootstraping CI\CD pipelines of Flask \ Dash \ Plot.ly Applications☆12Feb 20, 2026Updated last week
- mods improvements hacks for the PrinCube☆11May 4, 2022Updated 3 years ago
- Webcam virtual backgrounds with Rust, Tensorflow & RobustVideoMatting☆11Sep 26, 2023Updated 2 years ago
- Outputs vs. outcomes: what's the different and why does it matter?☆16Apr 14, 2025Updated 10 months ago
- one on one Ocaml TCP chat app written with Riot + Mint tea☆10Apr 1, 2024Updated last year
- Circuit playground for learning Zero-Knowledge Proofs in circom.☆11Feb 7, 2024Updated 2 years ago