Berkeley Churchill's repositories

pldi19-equivalence-checker

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

Language:C++License:Apache-2.0Stargazers:35Issues:5Issues:0

xmonad-pulsevolume

Scripts for setting and visualizing pulseaudio volume with XMonad+xmobar

Language:ShellLicense:Apache-2.0Stargazers:18Issues:1Issues:1

badi-cal

A javascript library for Badi calendar conversions.

Language:JavaScriptLicense:MITStargazers:11Issues:4Issues:16

bahai-quotes

A selection of quotes to appear in an application.

Language:RubyLicense:MITStargazers:7Issues:3Issues:2

rack-timesec

Rack middleware to prevent timing attacks

Language:RubyLicense:MITStargazers:5Issues:1Issues:0

EFCacheContains

A library to help cache query plans using the 'contains' method for Entity Framework

Language:C#License:Apache-2.0Stargazers:4Issues:0Issues:0

cuecaller

Runs command line programs or sends commands timed to music (or anything really!). Interfaces nicely with Audacity. Good for calling cues to music in live performance.

License:GPL-3.0Stargazers:1Issues:1Issues:0
Language:PythonStargazers:1Issues:0Issues:0

rust-rushhour

demo of using rust to solve the "rushhour" logic puzzle

Language:RustStargazers:1Issues:1Issues:0

tryzxcvbn

Just like lowe/tryzxcvbn, but with the opportunity to provide a site-specific dictionary of words.

Language:JavaScriptStargazers:1Issues:1Issues:0

azure-docs

Open source documentation of Microsoft Azure

Language:PowerShellStargazers:0Issues:0Issues:0

bcrypt

Modern(-ish) password hashing for your software and your servers

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

Certify

Active Directory certificate abuse.

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0

convertdate

Utils for converting between date formats and calculating holidays

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

covidtrends

Trajectories for global spread of COVID-19 https://bchurchill.github.io/covidtrends/

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

electronegativity

Electronegativity is a tool to identify misconfigurations and security anti-patterns in Electron applications.

Language:JavaScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

mbox

A lightweight sandbox tool for non-root users

Language:CStargazers:0Issues:1Issues:0

pyt

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

Language:PythonLicense:GPL-2.0Stargazers:0Issues:0Issues:0

SecurityShepherd

Web and mobile application security training platform

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

Language:PythonLicense:MITStargazers:0Issues:1Issues:0