ak-2485 Goto Github PK
Name: Ariel Kellison
Type: User
Company: Cornell University
Bio: PhD student, Cornell computer science. CSGF fellow. Formal methods and numerics.
Location: Ithaca, NY
Ariel Kellison's Projects
3dfmm
An Adaptive FMM in Three Dimensions with the Basic Translation Operators
ak-2485.github.io
algorithm-team-collaboration
A center for collaboration on ideas, code, and testing for the algorithm team.
blas_fp_error
cbench-vst
VST verification of programs from the cbench benchmark
cs6120
advanced compilers
cs6241-s21
Course material for Cornell CS 6241, Spring 21
dfuzz
Linear Dependent Types for Differential Privacy TypeChecker
fpbench
A standard for floating point accuracy benchmarks
gaussian-process
GP Class
gp_derivatives
Scalable Gaussian Process Regression with Derivatives
hierarchy-builder
High level commands to declare a hierarchy based on packed classes
introduction_to_coq
Materials for Bindel group meeting introducing the Coq proof assistant
kalman_filter
mae6260
math-comp
Mathematical Components
numfuzz
pardotprod
Parallel Dot Product, Verified in VST
publications
markdown page listing publications for inclusion into cv and lab website
pyplasmaopt
returnmaps
Learning methods for the return maps of magnetic fields in toroidal confinement devices
vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
verifiedsymplecticerror
yt
yt repository
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 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.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
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.