lambda-land/playland lambda-land/playland

  • Stars
    star
    1
  • Language
    HTML
  • Created about 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lambda-land/playland
github

lambda-land

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

Lambda-LaTeX

LaTeX macros used by the Lambda Group at Oregon State University.
TeX
6
star
2

OwnershipMonad

Can we realize Rust's ownership model as a monad in Haskell?
TeX
5
star
3

lambda-group

4
star
4

VDBMS

A variational database management system
Haskell
1
star
5

FCC-Coq

Formula choice calculus in Coq
Coq
1
star
6

logic

Haskell
1
star
7

VSat-Papers

Repository to hold finished papers, artifiacts etc.
R
1
star
8

XRule-Systems

Haskell
1
star
9

XOP-Algorithms-Data

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

ProtocolStudy-Data

Data from a qualitative analysis of lab protocols.
1
star