Name: Santosh Nagarakatte
Type: User
Company: Rutgers University
Bio: Associate Professor, Department of Computer Science, Rutgers University, New Brunswick. Director of Rutgers Programming Languages and Architecture Lab (RAPL)
Location: New Brunswick, NJ
alive
ALIVe: Automatic LLVM's Instcombine Verifier
alive-nj
Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
csrankings
A web app for ranking computer science departments according to their research output in selective venues.
fpsanitizer
A debugger to detect and diagnose numerical errors in floating point programs
freebsd
FreeBSD src tree
hardened-llvm
ironclad
Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lead to security vulnerabilities. The project is detailed in the paper "Ironclad C++: A Library-Augmented Type-Safe Subset of C++."
libsodium
A modern and easy-to-use crypto library.
mbedtls
An open source, portable, easy to use, readable and flexible SSL library
pfsan_artifact
rlibm-generator
A tool to generate approximations of elementary functions that produce the correctly rounded result for all inputs. This tool can be used for different representations that approximate real numbers.
softboundcets-3.5.0
SoftBoundCETS for LLVM-3.5.0
softboundcets-3.8.0
softboundcets-3.9
Experimental SoftBoundCETS for LLVM-3.9
softboundcets-34
SoftBoundCETS for LLVM+Clang version 34
souper
stoke
STOKE: A stochastic superoptimizer and program synthesizer
thirtydaysofrust
My Experiments with the Rust Programming Language
x64asm
x86-64 assembler library
React
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
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
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.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
