Pinned Repositories
articles
Miscellaneous articles. The readme is the table of contents.
Automated-GoogleForms-Submitter
Uses python script to rapidly resubmit google forms multiple times
awesome-cheatsheets
👩💻👨💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.
awesome-microservices
A curated list of Microservice Architecture related principles and technologies.
awsauthcognitoreact
lambdaJasonYang.github.io
Hakyll Blog with PlantUML, GraphViz, Railroad Syntax , Mathjax. Built with https://github.com/userJY/KewlHakyll
Lean4FFI
Minimal Working Sample of Lean 4 calling C++ functions with Foreign Function Interface (FFI)
MotionEyeOS_APconfig
Motion Eye OS V20200606 Access Point Configuration, Without Internet
lambdaJasonYang's Repositories
lambdaJasonYang/lambdaJasonYang.github.io
Hakyll Blog with PlantUML, GraphViz, Railroad Syntax , Mathjax. Built with https://github.com/userJY/KewlHakyll
lambdaJasonYang/demolibLean
lambdaJasonYang/awsauthcognitoreact
lambdaJasonYang/bootloader
lambdaJasonYang/ConvolveBrowser
lambdaJasonYang/countcores
lambdaJasonYang/demolibLeanLocal
lambdaJasonYang/goplantuml
PlantUML Class Diagram Generator for golang projects
lambdaJasonYang/hooktopia
lambdaJasonYang/ISLR2_Wolfram
Mathematica package for loading ISLR2 datasets
lambdaJasonYang/leanHuttonParser
Lean 4 implementation of Graham Hutton's monadic parsing combinators
lambdaJasonYang/LearnTLA
lambdaJasonYang/MathematicaDocNetwork
lambdaJasonYang/mws_nexttemplate
lambdaJasonYang/MWS_reactcomplib
lambdaJasonYang/mws_reactcomponentlib
lambdaJasonYang/MWS_WebpackTypescript
Only used to demonstrate webpack and typescript.
lambdaJasonYang/mykubernetes
lambdaJasonYang/nextjs-ISR
lambdaJasonYang/npmFrontendTemplateStoryBook
Template to publish npm packages, demo w/ storybook, document w/ typedoc
lambdaJasonYang/npmFrontendTemplateWebpack
Template to publish npm packages, demo w/ Webpack server, document w/ typedoc
lambdaJasonYang/OpenWrtStuff
miwifi_r2100_firmware_4b519_2.0.722.bin
lambdaJasonYang/reacttemplate
lambdaJasonYang/snapshotgh
lambdaJasonYang/templates
A collection of starter templates and examples for Cloudflare Workers and Pages
lambdaJasonYang/threeJSgraphDemo
lambdaJasonYang/toolkit
lambdaJasonYang/toolz
lambdaJasonYang/WebGLplot
Extremely basic webgl plotting lib
lambdaJasonYang/WolframEngine
Wolfram Engine 14 dockerized