iu-parfunc Goto Github PK
Name: IU Parfunc Academic Group Account
Type: Organization
IU Parfunc Academic Group Account's Projects
nix-install-scripts
Scripts and Dockerfiles that install nix in various ways.
nixpkgs
Nix Packages collection
nofib
Mirror of nofib repository. DO NOT SUBMIT PULL REQUESTS HERE
pbbs
An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top
pldi2014-artifact
The artifact-evaluation bundle for "Taming the Parallel Effect Zoo" (PLDI 2014)
popl18-lh-prover-artifact
Artifact for "Towards Complete Verification via SMT"
prof_apps
Profiling apps
r-source
Read-only mirror of R source code from https://svn.r-project.org/R/, updated hourly. See the build instructions on the wiki page.
sc-haskell
A survey on the topic of sequentially consistent Haskell.
shadowguard
Low(er) Overhead Shadow Stack Implementation using Binary Static Analysis
showtime
An implementation and verification of the showtime algorithm
simple-filecache
A simple package for caching results to disk, and then in memory.
splash_hacks
patches to splash to tweak makefiles etc
stackage-bench-hacks
Hacks to stackage packages to reduces silly sources of variance in their benchmarks.
superaccumulators
Commutative, associative floating-point operations
tslogger
thread-safe logging
verified-instances
Verified instances for parallel programming.
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.