SAdams601
I'm an American functional programmer. I have a PhD from the University of Kent on Data Driven Refactorings for Haskell.
the Netherlands
SAdams601's Stars
wenkokke/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
Gabriella439/HasCal
Haskell embedding of PlusCal
openjdk/jmh
https://openjdk.org/projects/code-tools/jmh
rust-embedded/rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
aws-samples/aws-cdk-examples
Example projects using the AWS CDK
agda/agda-frp-ltl
An implementation of Functional Reactive Programming
gyscos/cursive
A Text User Interface library for the Rust programming language
fdehau/tui-rs
Build terminal user interfaces and dashboards using Rust
nolanlawson/fuite
A tool for finding memory leaks in web apps
smithy-lang/smithy
Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.
smithy-lang/smithy-rs
Code generation for the AWS SDK for Rust, as well as server and generic smithy client generation.
awslabs/aws-lambda-rust-runtime
A Rust runtime for AWS Lambda
rusoto/rusoto
AWS SDK for Rust
jepsen-io/maelstrom
A workbench for writing toy implementations of distributed systems.
upgundecha/howtheysre
A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)
danluu/post-mortems
A collection of postmortems. Sorry for the delay in merging PRs!
dddrrreee/cs140e-20win
cs140e course materials.
EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
ankitects/anki
Anki's shared backend and web components, and the Qt frontend
hwayne/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
UMM-CSci/edsger
A simple proof checker for use in introductory logic courses.
Clojure-Intro-Course/babel
A project for developing middleware processing for Clojure error messages.
VictorTaelin/Cedille-Core
A minimal proof language.
HigherOrderCO/Kind1
A next-gen functional language
slebok/slebok
Software Language Engineering Body of Knowledge
AB1908/CS-Books
A list of textbooks for a Computer Science curriculum.
christianscott/curry.py
:curry: Utility for currying functions
haskell/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
jtdaugherty/brick
A declarative Unix terminal UI library written in Haskell
knupfer/haskell-emacs
Write Emacs extensions in Haskell