Ryan Newton's repositories
haskell-lockfree
A collection of different packages for CAS based data structures.
Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
thread-local-storage
A TLS library for GHC Haskell.
concurrent-skiplist
An implementation of maps and sets based on a concurrent-skiplist implementation.
criterion-external
Simple demonstration of how to use Criterion to benchmark separate executables.
emacs-haskell-config
A quick and easy pre-configured Emacs for developing with Haskell
linear-cursors
Linear types applied to type-safe cursors into memory buffers containing dense serialized data.
verified-haskell-tests
Playing around with different options for verifying bits of Haskell code
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
blindchess
Simple way to practice blind chess.
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
docker_checkpoint_test
Testing docker checkpoint functionality
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
haskell-style-guide
A style guide for Haskell code.
hermit_old
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
par-gensym
A demonstration of how to do parallel gensyms.
shonan-143
Shonan #143: Programming Language Support for Data-intensive Applications
women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research