Cognitive Engineering Lab

Cognitive Engineering Lab's repositories

Interactive visualizations of Rust at compile-time and run-time

Language:RustMIT1795 17 50

The Rust Programming Language: Experimental Edition

Language:RustNOASSERTION470 11 82

A framework for writing plugins that integrate with the Rust compiler

Language:RustMIT127 5 5

Interactive quizzes for Markdown

Language:TypeScriptApache-2.088 5 31

An IDE extension for debugging trait errors in Rust.

Language:RustMIT3700

A JS devtool orchestrator

Language:RustMIT32 3 22

Accompanying materials for "A Core Calculus for Documents"

Language:OCamlApache-2.027 10

AI-powered quiz generator

Language:Python21 4 3

Language:OCamlMIT1400

Tools for analyzing data from the Rust Book Experiment

Language:Rust400

000