Skip to content
View madars's full-sized avatar
293 followers · 21 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Organizations

@sipb @scipr-lab @Zerocash @mitmedialab @mit @GloriousOffice @mit-dci @radiustechsystems

Block or report madars

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • opencbdc-tx Public

    Forked from mit-dci/opencbdc-tx

    A transaction processor for a hypothetical, general-purpose, central bank digital currency

    C++ Other Updated Nov 20, 2024

  • tmi Public

    Forked from theuni/tmi

    Tiny Multi-Index

    C++ MIT License Updated Oct 29, 2024

  • tinyparsec Public

    Updated Sep 27, 2023

  • evmone Public

    Forked from ethereum/evmone

    Fast Ethereum Virtual Machine implementation

    C++ Apache License 2.0 Updated Sep 27, 2023

  • rolis-eurosys2022 Public

    Forked from metalicjames/rolis-eurosys2022

    Rolis: a software approach to efficiently replicating multi-core transactions; eurosys2022

    C++ MIT License Updated Feb 27, 2023

  • plonkathon Public

    Forked from 0xPARC/plonkathon

    my experiments from plonkathon.com

    Python Updated Jan 29, 2023

  • dmca Public

    Repository with text of DMCA takedown notices as received. GitHub does not endorse or adopt any assertion contained in the following notices. Users identified in the notices are presumed innocent u…

    Rich Text Format 2 Updated Oct 25, 2020

  • youtube-dl Public

    Forked from Jamie-Landeg-Jones/youtube-dl

    Command-line program to download videos from YouTube.com and other video sites

    Python The Unlicense Updated Apr 16, 2020

  • libsnark Public

    Forked from scipr-lab/libsnark

    C++ library for zkSNARKs

    C++ 1 Other Updated Mar 30, 2020

  • libff Public

    Forked from scipr-lab/libff

    C++ library for Finite Fields and Elliptic Curves

    C++ Other Updated Mar 30, 2020

  • gp-saml-gui Public

    Forked from dlenski/gp-saml-gui

    Interactively authenticate to GlobalProtect VPNs that require SAML

    Python 1 1 GNU General Public License v3.0 Updated Mar 29, 2020

  • machtype Public

    Forked from mit-athena/machtype
    Python Updated Jan 21, 2020

  • libfqfft Public

    Forked from scipr-lab/libfqfft

    C++ library for Fast Fourier Transforms in finite fields

    C++ Other Updated Nov 7, 2019

  • code Public

    Forked from cryptoeconomics-study/code

    👾 Interactive coding challenges to test and apply your knowledge

    JavaScript Updated Oct 1, 2019

  • ssss-sage Public

    An auditable implementation of Shamir's secret sharing scheme in Sage

    Python 3 1 MIT License Updated May 15, 2019

  • zcash-docker Public

    Running a minimal Zcash container inside Google's gVisor container runtime sandbox

    Dockerfile 1 Updated Mar 13, 2019

  • xref-config Public

    Forked from sipb/xref-config

    SIPB OpenGrok installation configuration files

    Updated Jun 10, 2017

  • ate-pairing Public

    Forked from herumi/ate-pairing
    C++ Updated Aug 12, 2015

  • apparmor-profiles Public

    1 GNU General Public License v3.0 Updated Jun 26, 2015

  • ate-pairing-experiments Public

    Shell Updated Jun 12, 2015

  • libsnark-supercop Public

    Forked from mbbarbosa/libsnark-supercop

    Subset of the supercop (http://bench.cr.yp.to/supercop.html) sources used in the libsnark ADSNARK demonstrating example.

    Assembly Updated Jun 3, 2015

  • librebooting-notes Public

    1 Updated Apr 13, 2015

  • z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ Other Updated Apr 5, 2015

  • cryptominisat Public

    Forked from msoos/cryptominisat

    An advanced SAT Solver

    C++ GNU Lesser General Public License v3.0 Updated Jan 25, 2015

  • xbyak Public

    Forked from herumi/xbyak

    a JIT assembler for x86(IA-32)/x64(AMD64, x86-64) MMX/SSE/SSE2/SSE3/SSSE3/SSE4/FPU/AVX/AVX2 by C++ header

    C++ 1 Other Updated Jan 17, 2015

  • blocksens Public

    SAT instance generator for investigating the sensitivity vs block sensitivity problem

    Python 1 MIT License Updated Nov 27, 2014

  • spritz Public

    Investigation of biases in Spritz, a drop-in replacement for RC4

    C++ 2 Updated Oct 31, 2014

  • madars.github.io Public

    1 Updated Aug 5, 2013

  • sagews2txt Public

    Quick and dirty script to liberate Sage worksheets from Sagemath Cloud

    Python 3 3 MIT License Updated Aug 3, 2013

  • VerifiableDB Public

    Forked from fmoda3/VerifiableDB

    This implements a Verifable database within Python's Django

    Python 1 Updated May 17, 2012