Skip to content
View SAdams601's full-sized avatar
  • the Netherlands

Highlights

  • Pro

Block or report SAdams601

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Strategic design tools for Domain-Driven Design featuring collaborative modeling and visual communication

TypeScript 371 16 Updated Apr 21, 2026

You want to get started with Domain-Driven Design or are looking for advanced learning resources in this topic? Then this collection of curated learning resources is a good place to check out.

376 46 Updated Mar 10, 2026

The Lean Computer Science Library (CSLib)

Lean 586 158 Updated Jun 14, 2026

A curated list of awesome CodeQL resources.

88 8 Updated May 28, 2026

Create ridiculously fast Lexers

Rust 3,518 165 Updated Jun 8, 2026

Archive of CodeQL support for COBOL

Java 8 3 Updated Feb 2, 2020

Koopa (COBOL) Parser Generator

COBOL 56 16 Updated Jun 13, 2026

CodeQL Extractor, Library, and Queries for Lua

CodeQL 1 Updated Sep 26, 2025

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

CodeQL 9,703 1,988 Updated Jun 13, 2026

"The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

TypeScript 83,540 7,620 Updated May 21, 2026

An alternative API for filtering data with Spring MVC & Spring Data JPA

Java 696 155 Updated May 13, 2026

Agda bindings to SMT-LIB2 compatible solvers.

Agda 107 9 Updated Aug 11, 2025

Haskell embedding of PlusCal

Haskell 62 6 Updated May 21, 2022

https://openjdk.org/projects/code-tools/jmh

Java 2,646 335 Updated Mar 30, 2026

📚 Learn to write an embedded OS in Rust 🦀

Rust 14,682 873 Updated Feb 10, 2024

Example projects using the AWS CDK

Python 5,600 2,460 Updated May 18, 2026

An implementation of Functional Reactive Programming

Agda 41 1 Updated Mar 2, 2015

A Text User Interface library for the Rust programming language

Rust 4,808 264 Updated Jun 12, 2026

Build terminal user interfaces and dashboards using Rust

Rust 10,875 484 Updated Aug 6, 2023

A tool for finding memory leaks in web apps

JavaScript 4,626 75 Updated Aug 12, 2025

Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.

Java 2,280 254 Updated Jun 12, 2026

Code generation for the AWS SDK for Rust, as well as server and generic smithy client generation.

Rust 645 257 Updated Jun 14, 2026

A Rust runtime for AWS Lambda

Rust 3,602 392 Updated May 25, 2026

AWS SDK for Rust

Rust 2,726 437 Updated Dec 11, 2023

A workbench for writing toy implementations of distributed systems.

Clojure 3,602 206 Updated Nov 28, 2025

A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)

JavaScript 9,731 884 Updated Nov 17, 2025

A collection of postmortems. Sorry for the delay in merging PRs!

12,107 487 Updated May 15, 2026

cs140e course materials.

C 1,078 123 Updated Mar 31, 2021

An introductory course to Homotopy Type Theory

Agda 374 29 Updated Jul 24, 2020

Anki is a smart spaced repetition flashcard program

Rust 28,539 3,003 Updated Jun 13, 2026
Next