Skip to content

@lambda-land Lambda Land

Change the repository type filter

All

    Repositories list

    29 repositories

    • MHaskell

      Public
      Haskell
      •0•0•0•0•Updated Mar 19, 2025Mar 19, 2025

    • lambda-group

      Public
      0•4•0•0•Updated Dec 4, 2024Dec 4, 2024

    • xtra-backend

      Public
      Backend API for creating Xtra traces
      JavaScript
      •1•0•0•0•Updated May 29, 2024May 29, 2024

    • term-unification

      Public
      Haskell
      •1•0•0•0•Updated May 17, 2024May 17, 2024

    • logic

      Public
      Haskell
      •0•1•0•0•Updated Apr 11, 2024Apr 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, 2023Oct 17, 2023

    • XRule-Systems

      Public
      Haskell
      •1•1•0•0•Updated Mar 5, 2023Mar 5, 2023

    • xtra-ui

      Public
      JavaScript
      •2•0•0•0•Updated Aug 4, 2022Aug 4, 2022

    • playland

      Public
      Test: https://playland.netlify.app/, use http://playland.engr.oregonstate.edu/
      HTML
      •0•1•0•0•Updated Mar 30, 2022Mar 30, 2022

    • VSAT_EMSE_Data

      Public
      Data and statistics scripts for EMSE2021 submission
      R
      •0•0•0•0•Updated Oct 2, 2021Oct 2, 2021

    • VSat-Papers

      Public
      Repository to hold finished papers, artifiacts etc.
      R
      •0•1•0•0•Updated Oct 1, 2021Oct 1, 2021

    • MADMAX

      Public
      Haskell
      •
      MIT License
      •0•0•1•0•Updated Sep 23, 2021Sep 23, 2021

    • VDBMS

      Public
      A variational database management system
      Haskell
      •
      Other
      •0•1•1•0•Updated Jun 20, 2021Jun 20, 2021

    • VSAT_EMSE

      Public
      Mirror repo to archive the VSAT tool and analysis scripts used for EMSE submission
      Haskell
      •0•0•0•0•Updated Feb 26, 2021Feb 26, 2021

    • VSat-SPLC20

      Public
      A Variational Sat Solver based on the Choice Calculus
      Haskell
      •1•0•0•0•Updated Aug 25, 2020Aug 25, 2020

    • OwnershipMonad

      Public
      Can we realize Rust's ownership model as a monad in Haskell?
      TeX
      •0•5•0•0•Updated Apr 13, 2020Apr 13, 2020

    • VEffect

      Public
      OCaml
      •0•0•0•0•Updated Feb 21, 2020Feb 21, 2020

    • variational-editor-atom

      Public
      TypeScript
      •
      MIT License
      •2•1•0•0•Updated Jun 23, 2019Jun 23, 2019

    • variational-editor-backend

      Public
      C++
      •
      MIT License
      •2•0•0•0•Updated Jul 14, 2018Jul 14, 2018

    • Lambda-LaTeX

      Public
      LaTeX macros used by the Lambda Group at Oregon State University.
      TeX
      •1•6•0•0•Updated Jun 27, 2018Jun 27, 2018

    • eff

      Public
      A functional programming language based on algebraic effects and their handlers.
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •44•0•0•0•Updated Apr 6, 2018Apr 6, 2018

    • XOP-Algorithms-Data

      Public
      Data and tool for "A Domain Analysis of Data Structure and Algorithm Explanations in the Wild", at SIGCSE 2018
      Haskell
      •0•1•0•0•Updated Dec 3, 2017Dec 3, 2017

    • VPriorityQueue

      Public
      Java
      •0•0•0•0•Updated Oct 24, 2017Oct 24, 2017

    • ifdef-views

      Public
      Atom plugin for view-based editing of #ifdefs.
      0•0•0•0•Updated Jun 28, 2017Jun 28, 2017

    • VarexJ

      Public
      A Variability-Aware Interpreter for Java Applications
      Java
      •7•0•0•1•Updated Nov 17, 2016Nov 17, 2016

    • FCC-Coq

      Public
      Formula choice calculus in Coq
      Coq
      •0•0•0•0•Updated Sep 22, 2016Sep 22, 2016

    • MICL

      Public
      Semi-autonomous mixed-initiative embedded domain-specific language for device controllers.
      TeX
      •
      Creative Commons Zero v1.0 Universal
      •1•0•0•0•Updated Aug 9, 2016Aug 9, 2016

    • intellij-community

      Public
      IntelliJ IDEA Community Edition
      Java
      •
      Apache License 2.0
      •5.8k•0•0•0•Updated Feb 12, 2016Feb 12, 2016

    • ProtocolStudy-Data

      Public
      Data from a qualitative analysis of lab protocols.
      1•1•0•0•Updated May 16, 2015May 16, 2015
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.