A list of public audit reports conducted by the CoinFabrik team.
☆22Sep 24, 2025Updated last year
Alternatives and similar repositories for coinfabrik-audit-reports
Users that are interested in coinfabrik-audit-reports are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Apr 24, 2023Updated 3 years ago
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆57Oct 25, 2024Updated last year
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆29May 28, 2024Updated 2 years ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16May 5, 2025Updated last year
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆46Nov 7, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆49Sep 29, 2026Updated last week
- Full WASM Secure Threshold Signature ECDSA Library☆36Aug 6, 2023Updated 3 years ago
- Clipboard Shield: Protection Defends Against Cyberthreats☆35Apr 5, 2025Updated last year
- Geppetto: Advanced Slack bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with au…☆21May 4, 2026Updated 5 months ago
- Geppetto: Advanced bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with automate…☆188May 11, 2026Updated 5 months ago
- Backoffice for smart escrows☆17Updated this week
- personal site☆11Aug 11, 2024Updated 2 years ago
- ☆11Oct 10, 2023Updated 3 years ago
- ☆11Mar 22, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Here you can find the material of "Intro to smart contract and solidity". First class of the bootcamp during Aleph 2024☆11Aug 19, 2024Updated 2 years ago
- ☆13Oct 9, 2025Updated last year
- Freighter's mobile wallet☆25Updated this week
- Proof of Humanity Protocol v2☆22May 7, 2026Updated 5 months ago
- a library to make it easier to quickly hack on rust☆19May 11, 2025Updated last year
- ☆13May 30, 2024Updated 2 years ago
- Trustless Work provides permissionles escrow infrastructure. By using Trustless Work, any platform can integrate escrows in their user fl…☆25Sep 29, 2026Updated last week
- Criptocracia is an experimental, trustless open-source electronic voting system built in Rust. It leverages blind RSA signatures to ensur…☆15Jul 11, 2025Updated last year
- Sintaxis de TADs para AED2 de FCEN-UBA para Atom☆13Aug 20, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Python package for the computation of the Bipartite Configuration Model.☆22May 23, 2025Updated last year
- ☆32Dec 29, 2022Updated 3 years ago
- ☆18Aug 6, 2026Updated 2 months ago
- EVM Account Abstraction on Algorand via ECDSA signature verification☆17Jun 16, 2026Updated 3 months ago
- Circom arithmetic circuits and concepts explained, in depth.☆31Jul 22, 2026Updated 2 months ago
- Algorand Smart Contract Plugin for IntelliJ IDEA☆17May 4, 2022Updated 4 years ago
- Kendo Tournament Manager NG☆19Oct 3, 2026Updated last week
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 5 years ago
- Unlock the full potential of the Cardano blockchain for building decentralized Web 3.0 apps with Ultimate Cardano Smart Contracts.☆13Sep 30, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Extractable Witness Encryption for KZG Commitments☆33Nov 29, 2024Updated last year
- Kickstart your Algorand dApp in minutes. Full-stack TypeScript template with wallet connect, payments, NFT minting, token creation, and s…☆57Nov 17, 2025Updated 10 months ago
- ☆17Sep 9, 2022Updated 4 years ago
- MicroPython for ESP32 with psRAM support☆19Jun 13, 2025Updated last year
- ☆14Oct 23, 2024Updated last year
- Clarity fuzzer designed to cut through your smart contract's defenses with precision.☆21Aug 6, 2026Updated 2 months ago
- ☆16Sep 21, 2026Updated 3 weeks ago