regehr Goto Github PK
Name: John Regehr
Type: User
Company: University of Utah
Bio: CS professor at the University of Utah
Location: Salt Lake City, UT, USA
Name: John Regehr
Type: User
Company: University of Utah
Bio: CS professor at the University of Utah
Location: Salt Lake City, UT, USA
shared repo for U of Utah CS 5962 spring 2014
A modern ANSI C port of Crowther & Woods' "Adventure".
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Assembler for CS 1400, U of Utah
A quick quiz about how assertions should be used.
Use Nix to build a lot of software using a custom compiler.
tiny language compiler for class
The CompCert C verified compiler
60 artisanal compiler crashes
Run compilers interactively from your web browser and interact with the assembly
empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
looking into devising good cost models for optimizing LLVM IR
C-Reduce, a C program reducer
web scraper assignment for Utah CS 6015 Spring 2018
repo for advanced OS, fall 2017, U of Utah
Csmith, a random generator of C programs
Mirror of http://delta.tigris.org
two simple fuzzers, one for UNIX filesystem operations, the other for C streams
heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
code accompanying a blog post about a compiler bug
static analysis benchmarks from Toyota ITC
KLEE Symbolic Virtual Machine
print information from LLVM dataflow analyses
experimenting with better interval transfer functions for LLVM
just playing with llvm-mca
minimal out-of-tree LLVM pass
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.