lambda-land/logic lambda-land/logic

  • Stars
    star
    1
  • Language
    Haskell
  • Created about 1 year ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lambda-land/logic
github

lambda-land

Reviews

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

Repository Details

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

playland

Test: https://playland.netlify.app/, use http://playland.engr.oregonstate.edu/
HTML
1
star
5

VDBMS

A variational database management system
Haskell
1
star
6

FCC-Coq

Formula choice calculus in Coq
Coq
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