Pinned Repositories
aquascope
Interactive visualizations of Rust at compile-time and run-time
argus
An IDE extension for debugging trait errors in Rust.
depot
A JS devtool orchestrator
doclang-benchmark
document-calculus
Accompanying materials for "A Core Calculus for Documents"
mdbook-quiz
Interactive quizzes for Markdown
quizicist
AI-powered quiz generator
repo-quest
Learn programming concepts through interactive Github tutorials
rust-book
The Rust Programming Language: Experimental Edition
rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
Cognitive Engineering Lab's Repositories
cognitive-engineering-lab/aquascope
Interactive visualizations of Rust at compile-time and run-time
cognitive-engineering-lab/rust-book
The Rust Programming Language: Experimental Edition
cognitive-engineering-lab/rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
cognitive-engineering-lab/mdbook-quiz
Interactive quizzes for Markdown
cognitive-engineering-lab/argus
An IDE extension for debugging trait errors in Rust.
cognitive-engineering-lab/depot
A JS devtool orchestrator
cognitive-engineering-lab/document-calculus
Accompanying materials for "A Core Calculus for Documents"
cognitive-engineering-lab/quizicist
AI-powered quiz generator
cognitive-engineering-lab/doclang-benchmark
cognitive-engineering-lab/repo-quest
Learn programming concepts through interactive Github tutorials
cognitive-engineering-lab/rust-book-backend
Tools for analyzing data from the Rust Book Experiment
cognitive-engineering-lab/rqst-async
cognitive-engineering-lab/.github
cognitive-engineering-lab/argus-test
Test repository for the Argus user study
cognitive-engineering-lab/rqst-test
cognitive-engineering-lab/wasm-builds
CEL projects precompiled for WASM