-
Carnegie Mellon University - S3D
- Pittsburgh
-
14:15
(UTC -05:00) - http://www.cs.cmu.edu/~ckaestne
Highlights
- Pro
Stars
Safety Analysis and Control for AI Agents - Annotated Bibliography
GitHub Actions for mdBook (rust-lang/mdBook) ⚡️ Setup mdBook quickly and build your site fast. Linux (Ubuntu), macOS, and Windows are supported.
A fork to update this script to Python 3
Data pipeline to replicate the NPM Registry using Python, CouchDB, Kafka, Kafka-ui, Prometheus and Grafanan. Meant to be used for research purposes.
reveal.js on steroids! Get beautiful reveal.js presentations from any Markdown file
Collection of articles listing reasons why data science projects fail.
😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness
Style your webpage like Edward Tufte’s handouts.
A Tufte-inspired LaTeX class for producing handouts, papers, and books
passing siteswap assistant - siteswap generator, local siteswap, causal diagram
python automatic data quality check toolkit
Always know what to expect from your data.
1 Line of code data quality profiling & exploratory data analysis for Pandas and Spark DataFrames.
Software Engineering for AI/ML -- An Annotated Bibliography
Using variational execution to find higher order mutants
An open source re-implementation of RollerCoaster Tycoon 2 🎢
This is a prototype for overview of GitHub forks.
KJS: A Complete Formal Semantics of JavaScript
Chrome Extension to mark unusual commits in commit history on Github.
📦🚀 Fully automated version management and package publishing
Symbolic execution and variability-aware analysis for PHP
LaTeX plugin for Sublime Text
A plugin analysis system that lets you determine external, unstated and unwanted dependencies for an eclipse plugin as well as that of a combination of plugins


