Repositories list

• 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.7k•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