Discover anishathalye/rtlv Open Source project

Stars
18
Rank 1,208,065 (Top 24 %)
Language
Racket
License
MIT License
Created over 4 years ago
Updated 3 months ago

anishathalye

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

Tools for reasoning about circuits in Rosette/Racket 🔌

dotbot

A tool that bootstraps your dotfiles ⚡️

Python

7,030

neural-style

Neural style in TensorFlow! 🎨

Python

5,539

git-remote-dropbox

A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁

Python

3,055

lumen

Magic auto brightness based on screen contents 💡

Objective-C

2,286

gemini

Gemini is a modern LaTex beamerposter theme 🖼

TeX

982

porcupine

A fast linearizability checker written in Go 🔎

883

obfuscated-gradients

Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples

Jupyter Notebook

881

seashells

The official client for seashells.io 🐚

Python

707

dotfiles

~anish • powered by https://github.com/anishathalye/dotbot 💾

Shell

704

neural-hash-collider

Preimage attack against NeuralHash 💣

Python

664

gavel

A project expo judging system 📊

Python

433

periscope

Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭

379

auriga

Auriga is a minimalist LaTeX beamer presentation theme 📽

TeX

328

offix

"Who is in the office?" 👀

JavaScript

186

dotfiles_template

A template for structuring dotfiles (using Dotbot as an installer) 📜

PowerShell

184

ribosome

Synthesize photos from PhotoDNA using machine learning 🌱

Python

141

imagenet-simple-labels

Simpler human-readable labels for ImageNet 🏷

122

dotfiles-local

~anish [local config] • powered by https://github.com/anishathalye/dotbot 🏠

Shell

mathematics-of-deep-learning

The Mathematics of Deep Learning, SIPB IAP 2018

Jupyter Notebook

proof-html

A GitHub Action to validate HTML, check links, and more ✅

Ruby

seashells-server

The seashells.io server 🐚

knox

A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏

Racket

notary

Notary: A Device for Secure Transaction Approval 📟

Verilog

hubot-group

A hubot script that expands mentions of groups 👫

CoffeeScript

synox

Rust library for program synthesis of string transformations from input-output examples 🔮

Rust

knox-hsm

Circuits and hardware security modules formally verified with Knox 🔐

Verilog

disposable

Create a Reddit throwaway account with the click of a button! 🚮

JavaScript

skipchat

SkipChat - MHacks V

micro-wwvb

A tiny WWVB station 📡

linux-bootstrap

get a debian-based system set up the way I like it, with minimal effort on my part

hubot-shortcut

A macro system for hubot 💨

JavaScript

bin2coe

A tool to convert binary files to COE files 💫

Python

anishathalye

A self-updating GitHub profile 🐯

Python

hubot-conf

A simple configuration management system for hubot 🔧

JavaScript

gitlive

the source code that powered gitlive.net

Java

chroniton

A tool for formally verifying constant-time software against hardware 🕰️

Racket

unblock

A tiny utility to make shell pipes behave as if they have unlimited buffering ♾

countdown

A simple countdown timer you can set as your homepage ⏰

HTML

coqioa

A formalization of IO automata in the Coq proof assistant

Coq

playground for testing stuff on github

assets

README assets for my GitHub projects 🎭

easy-security

Slides from the SIPB Cluedump on Low Effort High Impact Security

HTML

learn-pgp

Slides from the SIPB Cluedump on PGP

HTML

learn-git

An introduction to using Git - prepared for HackMIT / Hack Week 2015

HTML

deterministic-start-benchmark

Verilog

ipr

A formalization of information-preserving refinement (IPR) in the Coq Proof Assistant 🧩

Coq

xclips

Rust

scripts

Python

formal-methods-tutorial-2022-10-11

Racket

anishathalye/rtlv

anishathalye

Reviews

Repository Details

More Repositories