Block or Report
Block or report rahxephon89
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
smt2utils Public
Forked from facebookarchive/smt2utilsLibraries and tools for the SMT-LIB-2 standard.
Jupyter Notebook Apache License 2.0 UpdatedSep 26, 2023 -
-
-
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Rust Apache License 2.0 UpdatedJan 23, 2023 -
MIRAI-fork Public
Forked from facebookexperimental/MIRAIRust mid-level IR Abstract Interpreter
Rust MIT License UpdatedOct 8, 2022 -
aptos-core Public
Forked from aptos-labs/aptos-coreA layer 1 for everyone!
Rust Apache License 2.0 UpdatedOct 3, 2022 -
-
solidity Public
Forked from ethereum/soliditySolidity, the Smart Contract Programming Language
C++ GNU General Public License v3.0 UpdatedJan 26, 2022 -
-
move-hackathon-tutorial Public
Forked from emmazzz/move-hackathon-tutorialMove tutorial for the hackathon happening on Dec 7-8
Shell UpdatedNov 26, 2021 -
rocksdb Public
Forked from facebook/rocksdbA library that provides an embeddable, persistent key-value store for fast storage.
C++ GNU General Public License v2.0 UpdatedJul 24, 2021 -
runtime-verification.github.io Public
Forked from runtime-verification/runtime-verification.github.ioOur Website
SCSS UpdatedJul 16, 2021 -
-
-
academicpages.github.io Public
Forked from academicpages/academicpages.github.ioGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedDec 20, 2020 -
-
-
distalgo Public
Forked from DistAlgo/distalgoThis is the Python implementation of DistAlgo, a language for distributed algorithms.
Python Other UpdatedOct 1, 2020 -
algorithm-pattern Public
Forked from greyireland/algorithm-pattern算法模板,最科学的刷题方式,最快速的刷题路径,你值得拥有~
Go UpdatedJul 13, 2020 -
firecracker Public
Forked from firecracker-microvm/firecrackerSecure and fast microVMs for serverless computing.
Rust Apache License 2.0 UpdatedJul 5, 2020 -
s2n Public
Forked from feliperodri/s2ns2n : an implementation of the TLS/SSL protocols
C Apache License 2.0 UpdatedJul 2, 2020 -
acsl-by-example Public
Forked from fraunhoferfokus/acsl-by-examplePublic snapshots of "ACSL by Example"
C UpdatedApr 30, 2020 -
Frama-C-snapshot Public
Forked from Frama-C/Frama-C-snapshotRelease snapshots of the Frama-C platform for source code analysis
OCaml UpdatedDec 4, 2019 -
-
bitcoin Public
Forked from bitcoin/bitcoinBitcoin Core integration/staging tree
C++ MIT License UpdatedOct 27, 2018 -
rv-monitor Public
Forked from runtimeverification/rv-monitorRV-Monitor core system code
Java Other UpdatedAug 2, 2018 -
courses Public
Forked from bcaffo/coursesCourse materials for the Data Science Specialization: https://www.coursera.org/specialization/jhudatascience/1
HTML UpdatedJun 25, 2018 -
samples Public
Forked from CyberGrandChallenge/samplesDARPA Cyber Grand Challenge Sample Challenges
C UpdatedJun 6, 2018 -
contractLarva Public
Forked from gordonpace/contractLarvaRuntime verification tool for Solidity smart contracts.
Haskell Apache License 2.0 UpdatedJun 5, 2018