annamiraotoole's Stars
mui/material-ui
Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.
tmux/tmux
tmux source code
solid/solid
Solid - Re-decentralizing the web (project directory)
Consensys/ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
AFLplusplus/AFLplusplus
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!
torproject/tor
unofficial git repo -- report bugs/issues/pull requests on https://gitlab.torproject.org/ --
p-org/P
The P programming language.
determined-ai/determined
Determined is an open-source machine learning platform that simplifies distributed training, hyperparameter tuning, experiment tracking, and resource management. Works with PyTorch and TensorFlow.
PacktPublishing/Deep-Reinforcement-Learning-Hands-On
Hands-on Deep Reinforcement Learning, published by Packt
ethereum/pyethereum
Next generation cryptocurrency network
ethereum/py-evm
A Python implementation of the Ethereum Virtual Machine
compound-finance/compound-protocol
The Compound On-Chain Protocol
iden3/circom
zkSnark circuit compiler
celo-org/celo-blockchain
Official repository for the golang Celo Blockchain
jameslzhu/riscv-card
An unofficial assembly reference for RISC-V.
leonardoalt/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
openproblems-bio/openproblems
Formalizing and benchmarking open problems in single-cell genomics
signalapp/ContactDiscoveryService
torproject/onionbalance
Onionbalance -- mirror of https://gitlab.torproject.org/tpo/onion-services/onionbalance/ -- please create issues and pull requests there
uclid-org/uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
ahenzinger/simplepir
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).
CS162Textbook/Operating-Systems-Principles-and-Practice-2nd
Operating Systems: Principles and Practice (2nd Edition) Anderson and Dahlin
piximi/application_archived
A web application for classifying objects
mmaker/anonymous-tokens
Efficient Anonymous Tokens with Private Metadata Bit
dkales/dpf-go
Distributed Point Functions in golang
mikasenghaas/sillystill
Recreate the look of Cinestill-800T with Deep Learning
piximi/annotator
Joshuayangg/Orbit
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.
IVRL/CS413-ComputationalPhotography
si-co/simplepir