Popular repositories Loading
-
Lambda-LaTeX
Lambda-LaTeX PublicLaTeX macros used by the Lambda Group at Oregon State University.
-
OwnershipMonad
OwnershipMonad PublicCan we realize Rust's ownership model as a monad in Haskell?
TeX 5
-
-
-
XOP-Algorithms-Data
XOP-Algorithms-Data PublicData and tool for "A Domain Analysis of Data Structure and Algorithm Explanations in the Wild", at SIGCSE 2018
Haskell 1
Repositories
Showing 10 of 28 repositories
- term-unification Public
lambda-land/term-unification’s past year of commit activity - lambda-group Public
lambda-land/lambda-group’s past year of commit activity - XRule-Systems Public
lambda-land/XRule-Systems’s past year of commit activity