fabrice102
Follow
-
amazon-corretto-crypto-provider Public
Forked from corretto/amazon-corretto-crypto-providerThe Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
Java Apache License 2.0 UpdatedMar 19, 2025 -
apache-commons-lang Public
Forked from apache/commons-langApache Commons Lang
Java Apache License 2.0 UpdatedSep 6, 2024 -
aws-lc Public
Forked from aws/aws-lcAWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.
C++ Other UpdatedAug 13, 2024 -
pplatex Public
Forked from stefanhepp/pplatexPretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
C++ Other UpdatedJul 24, 2024 -
-
aws-lc-verification Public
Forked from awslabs/aws-lc-verificationThis repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …
Coq Apache License 2.0 UpdatedJul 11, 2024 -
analyzing-algorand Public
SageMath scripts for the paper "Analyzing the Real-World Security of the Algorand Blockchain"
-
ecfft-group Public
Forked from wborgeaud/ecfft-bn254ECFFT in Rust
-
-
indexer Public
Forked from algorand/indexersearchable history and current state
Go MIT License UpdatedApr 3, 2023 -
-
pyteal Public
Forked from algorand/pytealAlgorand Smart Contracts in Python
-
-
jade Public
Forked from ekasilicon/jadeA static analysis framework and suite
Racket MIT License UpdatedNov 16, 2022 -
-
awesome-algorand Public
Forked from awesome-algorand/awesome-algorand⚡A curated list of awesome resources related to the Algorand Blockchain ⛓
-
lw.comm-server Public
Forked from LaserWeb/lw.comm-serverUnified communications server for LaserWeb4 (and other frontends)
JavaScript GNU General Public License v3.0 UpdatedMay 19, 2022 -
go-algorand Public
Forked from algorand/go-algorandAlgorand's official implementation in Go.
Go Other UpdatedApr 27, 2022 -
smart-contracts Public
Forked from algorand/smart-contractsExample stateful and stateless smart contracts.
-
Practical-HW1 Public
Forked from PennCIS233/Practical-HW1Repository for the Algorand class of the "Building with Blockchain for Web 3.0" course (https://buildweb3.org)
Python UpdatedFeb 14, 2022 -
api-examples Public
Forked from massto/api-examplescode samples for API
Python UpdatedJan 24, 2022 -
js-algorand-sdk Public
Forked from algorand/js-algorand-sdkThe official JavaScript SDK for Algorand.
TypeScript MIT License UpdatedDec 4, 2021 -
java-algorand-sdk Public
Forked from algorand/java-algorand-sdkAlgorand SDK for Java7+ to interact with the Algorand network
Java MIT License UpdatedSep 27, 2021 -
json-binary-support Public
The goal of this repo is to test and understand how JSON libraries handle arbitrary non-UTF-8 strings.
Go MIT License UpdatedJul 14, 2021 -
py-algorand-sdk Public
Forked from algorand/py-algorand-sdkAlgorand Python SDK
-
create-asa-with-ssc Public
Forked from gidonkatten/create-asa-with-sscShell MIT License UpdatedJun 22, 2021 -
discord-ban-bot Public
This bot facilitates banning many users at a time on Discord using regular expressions.
Python UpdatedApr 23, 2021 -
Small software to help debug/test DNS bootstrap of Algorand
Go UpdatedApr 8, 2021 -
algosdk-react-example Public
Getting Started with Algosdk and Create React App
JavaScript UpdatedMar 16, 2021 -
navis Public
Forked from navis-org/navisPython 3 library for Neuron Analysis and Visualization
Python GNU General Public License v3.0 UpdatedMar 2, 2021