asifmallik's Stars
jerryji1993/DNABERT
DNABERT: pre-trained Bidirectional Encoder Representations from Transformers model for DNA-language in genome
ivclab/Sound20
Sound Classification Dataset
CoatiSoftware/Sourcetrail
Sourcetrail - free and open-source interactive source explorer
codeprentice-org/sniffpy
A python implementation of https://mimesniff.spec.whatwg.org/
scipy/scipy
SciPy library main repository
asifmallik/easyschnorr
alleystoughton/PCR
EasyCrypt Security Proof of Private Count Retrieval (PCR) Protocol
AbsInt/CompCert
The CompCert formally-verified C compiler
ZenGo-X/white-city
Network layer for MPC (Secure Multi-Party Computation) based on Tendermint
EasyCrypt/easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
BlockchainAtColumbia/delect
Lamden/speedy-zero-knowledge
Prove someone has a piece of data with certainty using a fast challenge-response algorithm that does not disclose any piece of said data.
jwasham/coding-interview-university
A complete computer science study plan to become a software engineer.
gitcoinco/web
Grow Open Source
adicu/data.adicu.com
API for Columbia data
asifmallik/ovn-vote-selling
ameensol/merkle-tree-solidity
JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.
latextemplates/LNCS
Improved Lecture Notes in Computer Science (LNCS) template
atom/atom
:atom: The hackable text editor
bcoin-org/bcoin
Javascript bitcoin library for node.js and browsers
Zokrates/ZoKrates
A toolbox for zkSNARKs on Ethereum
Bounties-Network/StandardBounties
Smart Contracts in Solidity to serve as a Standard for Bounties for EVM dApps
brave/browser-laptop
[DEPRECATED] Please see https://github.com/brave/brave-browser for the current version of Brave
cosmos/ethermint-archive
Ethereum on Tendermint using Cosmos-SDK!
ewasm/design
Ewasm Design Overview and Specification
iurimatias/EtherSim
EtherSim is an Ethereum RPC simulator for testing and development purposes
AltCoinExchange/ethatomicswap
Ethereum atomic swap
pirapira/bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
dapphub/ds-feeds
Simple data access pattern for dumb, durable software objects
softcover/softcover
CLI for book generation, building, and publishing to softcover.io