SAdams601
I'm an American functional programmer. I have a PhD from the University of Kent on Data Driven Refactorings for Haskell.
the Netherlands
Pinned Repositories
agdaFoundations
cowboy-websocket-template
A stripped down Cowboy webserver and template for communicating with client with websockets
goChat
Simple chat client and server written in go
Grouper
A google chrome extension for saving groups of tabs to be opened later.
JavaInterop
Some Clojure Java Interop testing
MICS-2012
MICS 2012 paper on clojure java interop
NeuralNetwork
Working on a Neural Network in Haskell
rust-maelstrom
Thesis
My PhD thesis in latex format. Completed August 2018
VisualizingHaskellAST
A project to allow you to the what the GHC AST looks like.
SAdams601's Repositories
SAdams601/VisualizingHaskellAST
A project to allow you to the what the GHC AST looks like.
SAdams601/NeuralNetwork
Working on a Neural Network in Haskell
SAdams601/agdaFoundations
SAdams601/rust-maelstrom
SAdams601/Thesis
My PhD thesis in latex format. Completed August 2018
SAdams601/adventOfCode2020
Advent of Code in rust
SAdams601/babel
A project for developing middleware processing for Clojure error messages.
SAdams601/befunge
An implementation of the esoteric Befunge programming language in Haskell.
SAdams601/CO545
A repo storing various pieces of work for CO545: Functional and Concurrent Programming taught at the University of Kent.
SAdams601/datasciencecoursera
SAdams601/datasharing
The Leek group guide to data sharing
SAdams601/eta
The Eta Programming Language, a dialect of Haskell on the JVM
SAdams601/firecracker
Secure and fast microVMs for serverless computing.
SAdams601/garminexport
Garmin Connect activity exporter and backup tool
SAdams601/ghc-exactprint
GHC version of haskell-src-exts exactPrint
SAdams601/HaRe
The Haskell Refactoring Tool
SAdams601/haskell-emacs
Write Emacs extensions in Haskell
SAdams601/idris2-lsp-vscode
Visual Studio Code integration for the Idris 2 language server
SAdams601/jmx_exporter
A process for exposing JMX Beans via HTTP for Prometheus consumption
SAdams601/mirror-hackage
Script to mirror the Haskell Hackage repository
SAdams601/ParRegexSearch
A parallel regex searcher for searching the entirety of the hackage source code.
SAdams601/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
SAdams601/Quasiquote
Repo with my work/playing around with quasiquoting. I would suggest looking at this paper: https://www.cs.drexel.edu/~mainland/publications/mainland07quasiquoting.pdf
SAdams601/rust-zookeeper
Pure Rust library for Apache ZooKeeper built on MIO
SAdams601/SD-Orbit
SD-Orbit
SAdams601/simpleEval
An evaluator for a simple expression language in Haskell
SAdams601/sovereign
Peer to peer democracy.
SAdams601/TemplateHaskellTesting
Looking into template Haskell to describe refactorings.
SAdams601/Website
My github pages site
SAdams601/webworker_npm_replicator