Skip to content
@cognitive-engineering-lab

Cognitive Engineering Lab

Cognitive Engineering Lab

We research how to use computers to support complex cognitive tasks: programming, verification, communication, learning, and more.

See our website for details: https://cel.cs.brown.edu/

Pinned Loading

  1. aquascope aquascope Public

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

    Rust 3.2k 80

  2. argus argus Public

    An IDE extension for debugging trait errors in Rust.

    Rust 354 14

  3. rust-book rust-book Public

    Forked from rust-lang/book

    The Rust Programming Language: Experimental Edition

    Rust 1.4k 212

  4. mdbook-quiz mdbook-quiz Public

    Interactive quizzes for Markdown

    TypeScript 155 30

  5. rustc_plugin rustc_plugin Public

    A framework for writing plugins that integrate with the Rust compiler

    Rust 178 31

  6. depot depot Public

    A JS devtool orchestrator

    Rust 58 4

Repositories

Showing 10 of 21 repositories
  • mdbook-quiz Public

    Interactive quizzes for Markdown

    cognitive-engineering-lab/mdbook-quiz's past year of commit activity
    TypeScript 155 Apache-2.0 30 17 1 Updated Oct 25, 2026
  • sniff-test Public
    cognitive-engineering-lab/sniff-test's past year of commit activity
    Rust 5 0 1 2 Updated Oct 23, 2026
  • depot Public

    A JS devtool orchestrator

    cognitive-engineering-lab/depot's past year of commit activity
    Rust 58 MIT 4 9 0 Updated Aug 26, 2026
  • rqst-async Public
    cognitive-engineering-lab/rqst-async's past year of commit activity
    Rust 32 4 0 0 Updated Aug 21, 2026
  • cognitive-engineering-lab/rqst-libprocessing's past year of commit activity
    GLSL 0 0 0 0 Updated Aug 19, 2026
  • repo-quest Public

    Learn programming concepts through interactive Github tutorials

    cognitive-engineering-lab/repo-quest's past year of commit activity
    Rust 39 Apache-2.0 8 2 0 Updated Aug 19, 2026
  • plai-rheo Public
    cognitive-engineering-lab/plai-rheo's past year of commit activity
    Typst 3 0 0 0 Updated Jul 18, 2026
  • rust-analyzer Public Forked from rust-lang/rust-analyzer

    A Rust compiler front-end for IDEs

    cognitive-engineering-lab/rust-analyzer's past year of commit activity
    Rust 2 Apache-2.0 2,330 0 0 Updated Jul 3, 2026
  • rustc_plugin Public

    A framework for writing plugins that integrate with the Rust compiler

    cognitive-engineering-lab/rustc_plugin's past year of commit activity
    Rust 178 MIT 31 6 2 Updated Jun 7, 2026
  • rust-book Public Forked from rust-lang/book

    The Rust Programming Language: Experimental Edition

    cognitive-engineering-lab/rust-book's past year of commit activity
    Rust 1,358 4,296 125 (2 issues need help) 18 Updated May 4, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…