A LyX PhD thesis template for Cambridge University Engineering Department

ProTI is an automated unit testing tool for Infrastructure as Code (IaC) programs. ProTI implements Automated Configuration Testing (ACT) for Pulumi TypeScript, minimizing the development effort fo…

µs infrastructure as code. Automating serverless deployments for DevOps organizations.

Pulumi - Infrastructure as Code in any programming language 🚀

Augment the TypeScript compiler to support extended functionality

Super-fast/easy runtime validators and serializers via transformation

Infer TS types from JSON schemas 📝

A markup-based typesetting system that is powerful and easy to learn.

Elasticsearch Data Import Tool

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

LaTeX file checking tools

Pulumi for µs. This fork implements resource graph pruning of resources depending (transitively) on unsatisfied µs wishes.

Purely functional reactive programming library

A mechanized proof of type safety for Featherweight Java using Coq

Software Engineering for AI/ML -- An Annotated Bibliography

A programming language for distributed applications

Joplin - the privacy-focused note taking app with sync capabilities for Windows, macOS, Linux, Android and iOS.

Notes and handouts from OPLSS 2019