SAdams601
Follow
Starred repositories
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more
An alternative API for filtering data with Spring MVC & Spring Data JPA
📚 Learn to write an embedded OS in Rust 🦀
Example projects using the AWS CDK
An implementation of Functional Reactive Programming
A Text User Interface library for the Rust programming language
Build terminal user interfaces and dashboards using Rust
A tool for finding memory leaks in web apps
Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.
Code generation for the AWS SDK for Rust, as well as server and generic smithy client generation.
A workbench for writing toy implementations of distributed systems.
A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)
A collection of postmortems. Sorry for the delay in merging PRs!
An introductory course to Homotopy Type Theory
Anki is a smart spaced repetition flashcard program
Proving leftpad correct two-dozen different ways
A simple proof checker for use in introductory logic courses.
A project for developing middleware processing for Clojure error messages.
A list of textbooks for a Computer Science curriculum.
