8000 isheff (isheff) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View isheff's full-sized avatar
20 followers · 1 following

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report isheff

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

  • controllers-disc Public

    Forked from dagstuhl-publishing/styles

    Controllers Report version for DISC conference

    TeX LaTeX Project Public License v1.3c Updated May 15, 2024

  • het_paxos_ref Public

    Reference Implementation of Heterogeneous Paxos in Rust

    Rust 1 MIT License Updated Dec 27, 2023

  • art-controllers Public

    Forked from anoma/art-template

    Anoma Research Topics Report on Controllers

    TeX Updated Oct 2, 2023

  • charlotte-public Public

    Public release of the Charlotte gRPC / Java Source Code

    Java 3 2 MIT License Updated Nov 16, 2022

  • emp-tool Public

    Forked from emp-toolkit/emp-tool
    C++ Other Updated Dec 6, 2021

  • antidote Public

    Forked from apl-cornell/antidote

    A planet scale, highly available, transactional database built on CRDT technology

    Erlang Apache License 2.0 Updated Nov 17, 2020

  • ObliVMGC Public

    Forked from oblivm/ObliVMGC

    The garbled circuit backend for the ObliVM framework

    Java Updated May 25, 2020

  • grpc-java Public

    Forked from grpc/grpc-java

    The Java gRPC implementation. HTTP/2 based RPC

    Java Apache License 2.0 Updated Oct 10, 2018

  • collaboration-test Public

    test collaboration invitation effects

    Updated Aug 21, 2018

  • hetcons Public

    A Heterogeneous Consensus based on Paxos

    Haskell 1 MIT License Updated May 4, 2018

  • gRPC-vs-Thrift Public

    a quick and dirty comparison of gRPC and Thrift in Haskell on large message sizes

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Apr 5, 2018

  • thrift Public

    Forked from apache/thrift

    Mirror of Apache Thrift

    C++ Apache License 2.0 Updated Apr 19, 2017

  • EasyX509 Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated Nov 30, 2016

  • pySMT Public

    A script to convert a small subset of SMT and Z3's extensions thereof to QF_BV, and run analysis for Heterogeneous Fast Consensus

    Python 1 Updated Oct 9, 2014

  • try_git Public

    Updated Apr 14, 2013

  • coursefinder Public

    A facebook course recommendation app.

    Python 4 Updated Jun 10, 2011
0