Fabrice Benhamouda's repositories
analyzing-algorand
SageMath scripts for the paper "Analyzing the Real-World Security of the Algorand Blockchain"
awesome-algorand
⚡A curated list of awesome resources related to the Algorand Blockchain ⛓
discord-ban-bot
This bot facilitates banning many users at a time on Discord using regular expressions.
py-algorand-sdk
Algorand Python SDK
smart-contracts
Example stateful and stateless smart contracts.
algosdk-react-example
Getting Started with Algosdk and Create React App
amazon-corretto-crypto-provider
The Amazon Corretto Crypto Provider is a collection of high-performance cryptographic implementations exposed via standard JCA/JCE interfaces.
apache-commons-lang
Apache Commons Lang
api-examples
code samples for API
ARCs
Algorand Requests for Comments
aws-lc
AWS-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.
aws-lc-verification
This 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 of the correctness and security of the library.
ecfft-group
ECFFT in Rust
go-algorand
Algorand's official implementation in Go.
go-algorand-test-dns-bootstrap
Small software to help debug/test DNS bootstrap of Algorand
indexer
searchable history and current state
jade
A static analysis framework and suite
java-algorand-sdk
Algorand SDK for Java7+ to interact with the Algorand network
js-algorand-sdk
The official JavaScript SDK for Algorand.
json-binary-support
The goal of this repo is to test and understand how JSON libraries handle arbitrary non-UTF-8 strings.
lw.comm-server
Unified communications server for LaserWeb4 (and other frontends)
navis
Python 3 library for Neuron Analysis and Visualization
pplatex
Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
Practical-HW1
Repository for the Algorand class of the "Building with Blockchain for Web 3.0" course (https://buildweb3.org)
sandbox
Algorand node sandbox