Skip to content
@lambda-land

Lambda Land

Oregon State University - Programming Languages Group

Popular repositories Loading

  1. Lambda-LaTeX Lambda-LaTeX Public

    LaTeX macros used by the Lambda Group at Oregon State University.

    TeX 6 1

  2. OwnershipMonad OwnershipMonad Public

    Can we realize Rust's ownership model as a monad in Haskell?

    TeX 5

  3. lambda-group lambda-group Public

    4

  4. ProtocolStudy-Data ProtocolStudy-Data Public

    Data from a qualitative analysis of lab protocols.

    1 1

  5. XOP-Algorithms-Data XOP-Algorithms-Data Public

    Data and tool for "A Domain Analysis of Data Structure and Algorithm Explanations in the Wild", at SIGCSE 2018

    Haskell 1

  6. VDBMS VDBMS Public

    A variational database management system

    Haskell 1

Repositories

Showing 10 of 29 repositories
  • MHaskell Public
    Haskell 0 0 0 0 Updated Mar 19, 2025
  • lambda-group Public
    4 0 0 0 Updated Dec 4, 2024
  • xtra-backend Public Forked from barnesjt/xtra-backend

    Backend API for creating Xtra traces

    JavaScript 0 1 0 0 Updated May 29, 2024
  • term-unification Public
    Haskell 0 1 0 0 Updated May 17, 2024
  • logic Public
    Haskell 1 0 0 0 Updated Apr 11, 2024
  • xrs Public

    A library that facilitates the production of explanations for derivations within a rule system.

    Haskell 0 0 0 0 Updated Oct 17, 2023
  • XRule-Systems Public
    Haskell 1 1 0 0 Updated Mar 5, 2023
  • xtra-ui Public Forked from barnesjt/xtra-ui
    JavaScript 0 2 0 0 Updated Aug 4, 2022
  • playland Public

    Test: https://playland.netlify.app/, use http://playland.engr.oregonstate.edu/

    HTML 1 0 0 0 Updated Mar 30, 2022
  • VSAT_EMSE_Data Public

    Data and statistics scripts for EMSE2021 submission

    R 0 0 0 0 Updated Oct 2, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…