Skip to content
@blockchain-audit

Blockchain Audit

Pinned Loading

  1. internal-mechanisms-fv internal-mechanisms-fv Public

    Internal Mechanisms of Formal Verification - Meetup - Set 2024

    Dafny

Repositories

Showing 10 of 61 repositories
  • chatbot-ui Public Forked from mckaywrigley/chatbot-ui

    Come join the best place on the internet to learn AI skills. Use code "chatbotui" for an extra 20% off.

    blockchain-audit/chatbot-ui’s past year of commit activity
    TypeScript 0 MIT 8,342 0 0 Updated Sep 24, 2024
  • chat-ui Public Forked from huggingface/chat-ui

    Open source codebase powering the HuggingChat app

    blockchain-audit/chat-ui’s past year of commit activity
    TypeScript 0 Apache-2.0 1,186 0 0 Updated Sep 24, 2024
  • internal-mechanisms-fv Public

    Internal Mechanisms of Formal Verification - Meetup - Set 2024

    blockchain-audit/internal-mechanisms-fv’s past year of commit activity
    Dafny 0 0 0 0 Updated Sep 2, 2024
  • GlimpseOfLean Public Forked from PatrickMassot/GlimpseOfLean

    An introduction to theorem proving in Lean for the impatient.

    blockchain-audit/GlimpseOfLean’s past year of commit activity
    Lean 0 Apache-2.0 58 0 0 Updated Jul 18, 2024
  • size-solidity Public Forked from SizeCredit/size-solidity

    Size is a credit marketplace with unified liquidity across maturities

    blockchain-audit/size-solidity’s past year of commit activity
    Solidity 0 MIT 4 0 0 Updated Jul 18, 2024
  • mlfz Public Forked from cosmic-cortex/mlfz

    An educational machine learning library.

    blockchain-audit/mlfz’s past year of commit activity
    Python 0 MIT 20 0 0 Updated Jul 14, 2024
  • lean4game-logic Public Forked from Trequetrum/lean4game-logic

    Make/Encode some basic logic puzzles

    blockchain-audit/lean4game-logic’s past year of commit activity
    Lean 0 MIT 9 0 0 Updated Jul 10, 2024
  • liquity-ui Public
    blockchain-audit/liquity-ui’s past year of commit activity
    0 0 0 0 Updated Jul 9, 2024
  • liquity-contracts Public

    Liquity contracts annotated [to port to cairo]

    blockchain-audit/liquity-contracts’s past year of commit activity
    Solidity 0 0 0 0 Updated Jul 4, 2024
  • interface-poc Public

    Architecture of module, component and contract communication

    blockchain-audit/interface-poc’s past year of commit activity
    Cairo 0 2 0 0 Updated Jul 1, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…