Skip to content
View protoben's full-sized avatar
10 followers · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@pdx-cstutors

Block or report protoben

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

  • rust-seL4 Public

    Forked from seL4/rust-sel4

    Rust support for seL4 userspace

    Rust Updated Dec 25, 2023

  • resume Public

    TeX Updated Jun 14, 2023

  • protoflake Public

    My user configuration as a flake

    Nix 1 Updated Mar 24, 2023

  • neovim-flake Public

    Forked from jordanisaacs/neovim-flake

    Fork of https://jordanisaacs.github.io/neovim-flake for my personal vim configuration

    Nix MIT License Updated Mar 23, 2023

  • arkworks-algebra Public

    Forked from arkworks-rs/algebra

    Libraries for finite field, elliptic curve, and polynomial arithmetic

    Rust Apache License 2.0 Updated Feb 15, 2023

  • camkes Public

    Forked from seL4/camkes

    Component Architecture test suite and example apps.

    C Other Updated Jan 19, 2023

  • global-components Public

    Forked from seL4/global-components
    C Other Updated Jan 19, 2023

  • SCALE-MAMBA Public

    Forked from KULeuven-COSIC/SCALE-MAMBA

    Repository for the SCALE-MAMBA MPC system

    Verilog Other Updated Mar 31, 2022

  • protonix Public

    Nix 1 Updated Feb 5, 2021

  • rtnetlink-hs Public

    Forked from formaltech/rtnetlink-hs

    Manipulate network devices, addresses, and routes the classy way

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Jun 25, 2020

  • SIKE-fiat Public

    Incorporating fiat's (https://github.com/mit-plv/fiat-crypto) montgomery multiplication into the portable optimized SIKE (https://sike.org/) implementation for better performance

    C Other Updated Oct 9, 2019

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix MIT License Updated Jul 21, 2019

  • docker-hs Public

    Forked from denibertovic/docker-hs

    A Haskell library for the Docker Engine API

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 9, 2019

  • nix-config Public

    Nix 1 Updated May 19, 2019

  • vim-config Public

    Vim Script Updated May 1, 2019

  • protouserenv Public

    Objective-C Updated May 1, 2019

  • HaLVM Public

    Forked from GaloisInc/HaLVM

    The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

    Haskell BSD 3-Clause "New" or "Revised" License Updated Apr 16, 2019

  • weakdh Public

    Presentation for CS576

    TeX Updated Apr 7, 2019

  • regex-generator-hs Public

    Generate a random string from a PCRE

    Haskell MIT License Updated Dec 9, 2018

  • ue Public

    Forked from nzentzis/ue

    Universal command-line calculator program

    Haskell MIT License Updated Jun 28, 2018

  • cryptopals Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated May 13, 2018

  • TestRandom Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 29, 2018

  • halvm-ghc Public

    Forked from GaloisInc/halvm-ghc

    Patched mirror of GHC repository used by HaLVM. Docs and Issues are at the main HaLVM repo:

    Haskell Other Updated Jan 28, 2018

  • minlibc Public

    Forked from GaloisInc/minlibc
    C BSD 3-Clause "New" or "Revised" License Updated Jan 28, 2018

  • config-parser Public

    Haskell 1 MIT License Updated Jan 21, 2018

  • HaNS Public

    Forked from GaloisInc/HaNS

    The haskell network stack

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 16, 2018

  • xmonad-config Public

    Haskell 1 Updated Jul 8, 2017

  • avsec Public

    HTML Updated Jun 1, 2017

  • qsim Public

    A quantum computer simulator.

    TeX MIT License Updated Mar 4, 2016

  • mvc-mvconstraint Public

    MVC Motion Vector Constraint Project

    TeX Updated Mar 3, 2016