Skip to content

@cognitive-engineering-lab Cognitive Engineering Lab

Change the repository type filter

All

    Repositories list

    17 repositories

    • argus

      Public
      An IDE extension for debugging trait errors in Rust.
      Rust
      •
      MIT License
      •10•259•24•1•Updated Sep 15, 2025Sep 15, 2025

    • crp

      Public
      A learning resource to help you translate C++ idioms to Rust
      Handlebars
      •
      Apache License 2.0
      •13•93•4•0•Updated Sep 13, 2025Sep 13, 2025

    • rustc_plugin

      Public
      A framework for writing plugins that integrate with the Rust compiler
      Rust
      •
      MIT License
      •23•155•5•1•Updated Sep 8, 2025Sep 8, 2025

    • rust-book

      Public
      The Rust Programming Language: Experimental Edition
      Rust
      •
      Other
      •3.8k•889•96•21•Updated Jul 23, 2025Jul 23, 2025

    • repo-quest

      Public
      Learn programming concepts through interactive Github tutorials
      Rust
      •
      Apache License 2.0
      •5•25•4•0•Updated Jul 21, 2025Jul 21, 2025

    • rqst-async

      Public template
      Rust
      •
      MIT License
      •2•12•9•17•Updated Jul 21, 2025Jul 21, 2025

    • rqst-test

      Public template
      Rust
      •0•0•3•5•Updated Jul 16, 2025Jul 16, 2025

    • aquascope

      Public
      Interactive visualizations of Rust at compile-time and run-time
      Rust
      •
      MIT License
      •65•2.8k•29•1•Updated Jul 8, 2025Jul 8, 2025

    • mdbook-quiz

      Public
      Interactive quizzes for Markdown
      rustlearningquizmdbook
      TypeScript
      •
      Apache License 2.0
      •24•130•14•0•Updated May 30, 2025May 30, 2025

    • depot

      Public
      A JS devtool orchestrator
      Rust
      •
      MIT License
      •4•47•7•1•Updated Mar 14, 2025Mar 14, 2025

    • wasm-builds

      Public
      CEL projects precompiled for WASM
      Python
      •0•0•0•0•Updated Nov 23, 2024Nov 23, 2024

    • argus-test

      Public
      Test repository for the Argus user study
      Rust
      •0•0•0•0•Updated Sep 11, 2024Sep 11, 2024

    • .github

      Public
      0•0•0•0•Updated Jul 6, 2024Jul 6, 2024

    • document-calculus

      Public
      Accompanying materials for "A Core Calculus for Documents"
      OCaml
      •
      Apache License 2.0
      •2•33•0•0•Updated Oct 5, 2023Oct 5, 2023

    • rust-book-backend

      Public
      Tools for analyzing data from the Rust Book Experiment
      Rust
      •0•5•0•0•Updated Oct 3, 2023Oct 3, 2023

    • doclang-benchmark

      Public
      OCaml
      •
      MIT License
      •0•14•6•0•Updated Jul 6, 2023Jul 6, 2023

    • quizicist

      Public
      AI-powered quiz generator
      Python
      •5•26•1•1•Updated May 17, 2023May 17, 2023