annamiraotoole
Follow
Stars
CIRCL: Cloudflare Interoperable Reusable Cryptographic Library
Compact tool for building and debugging applications for Flipper Zero.
Flipper Zero Embedded Toolchain
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval" (USENIX Security 2023).
UCLID5: formal modeling, verification, and synthesis of computational systems
Onionbalance -- mirror of https://gitlab.torproject.org/tpo/onion-services/onionbalance/ -- please create issues and pull requests there
unofficial git repo -- report bugs/issues/pull requests on https://gitlab.torproject.org/ --
Efficient Anonymous Tokens with Private Metadata Bit
Solid - Re-decentralizing the web (project directory)
Overview of the formal verification projects in the Ethereum ecosystem.
Hands-on Deep Reinforcement Learning, published by Packt
Formalizing and benchmarking open problems in single-cell genomics
A web application for classifying objects
The Compound On-Chain Protocol
Operating Systems: Principles and Practice (2nd Edition) Anderson and Dahlin
Orbit is a VR musical instrument that utilizes Unity and MaxMSP to generate a multitude of interesting soundscapes based on player input in a 3D 6DoF environment.
Determined is an open-source machine learning platform that simplifies distributed training, hyperparameter tuning, experiment tracking, and resource management. Works with PyTorch and TensorFlow.
Official repository for the golang Celo Blockchain
Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.
A guide to available tools and platforms for developing on Ethereum.
A Python implementation of the Ethereum Virtual Machine