• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Rust
  • Created almost 2 years ago
  • Updated almost 2 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

[WIP] A virtual, networked filesystem with strong upfront safety guarantees

More Repositories

1

docker-pivpn

A secure docker container that sets up PiVPN in a virtual environment.
Shell
84
star
2

dict4schools

A children-friendly dictionary, with unsafe words removed
Shell
12
star
3

dotfiles

All of my usual settings, managed with GNU stow
Emacs Lisp
3
star
4

monobox

A Dockerfile compiler to simplify env managment
Python
2
star
5

homomorphic-encryption

[ALPHA] Basic algebraic operators encrypted with LWE utilizing GPU acceleration and ripple adders
Jupyter Notebook
2
star
6

TrumpTweet

Machine generated trump-like tweets
Shell
2
star
7

Dozenal-Keyboard-Layout

A keyboard layout for people who want to use base-12 (duodecimal/dozenal) system on a Mac
Shell
1
star
8

pbutil

Cross-platform implementation of macOS's pbcopy and pbpaste in Rust
Rust
1
star
9

ssh

A simple ssh container for docker
Shell
1
star
10

pylambda

[WIP] A lambda calculus implementation in Python
Python
1
star
11

stop-and-frisk

Contains the data, graphs, and associated code for a non-comprehensive analysis of NYPD's "stop and frisk" policy in 2017
Python
1
star
12

constant-time-benchmark

Benchmarking various constant time algorithms to validate various implementations against side-channel attacks in Golang
Jupyter Notebook
1
star
13

scitech

The SciTECH website, Choate Rosemary Hall's Science and Technology Publiciation
JavaScript
1
star
14

choate-tweets

An archive of all of Choate's tweets (both official tweets and related tweets) in a dehydrated form
Python
1
star
15

brain-analysis

CS 225 final project. Analyzing the difference in brain activity between viewing and imagining an image.
HTML
1
star
16

presidents-day

Dataset, analysis, and predictions for Choate's President's day, an annual tradition by the Head of School to randomly cancel school.
Jupyter Notebook
1
star
17

pylamport

A simple Python library for generating cryptographic Lamport signatures
Python
1
star
18

autoreach

Simplifying student life by reminding and automatically marking a student in REACH, simplifying Choate's nightly check-in process.
Python
1
star
19

precinct-matcher

Monadic election precinct matcher for gerrymandering data collection and research at MGGG.
Python
1
star
20

email-scheduler

A dirt-simple email scheduler using MongoDB as a queue and SMTP on Serverless. Intended for COVID testing reminders/notifications.
Python
1
star
21

random-tournament-beacon

A secure randomness beacon utilizing the Bitcoin blockchain. Used to generate "nothing up my sleeve" seeds through cryptographic commitments and iterative hashing (as a time lock).
Go
1
star
22

hashcrypt

Modular block encryption based upon arbitrary secure hash functions. Very experimental, not suitable for production. Similiar to a Feistel cipher.
1
star
23

trump-benford-law

Trump is a well-known liar. This repo is an analysis of numbers tweeted by Trump and Benford's law.
HTML
1
star
24

openssl.vim

Security fixes and update to the no longer maintained openssl.vim (https://github.com/dperelman/openssl.vim)
Vim Script
1
star
25

hack-python-types

Abusing Python’s type-checker (mypy) to construct a propositional, constructive logic proof checker via the Curry-Howard correspondence and the BHK interpretation of intuitionistic logic. (see blog post)
Python
1
star