Lambda Land (@lambda-land)
Guthub

lambda-land

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    23
  • Global Org. Rank 111,938 (Top 36 %)
  • Registered almost 10 years ago
  • Most used languages
    Haskell
         44.4 %
    TeX
         22.2 %
    Coq     11.1 %
    R
         11.1 %
    HTML
         11.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 107,140
  • Country Ranking
    Coq     199
    TeX
         1,121
    Haskell
         1,396

Top 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

logic

Haskell
1
star
8

VSat-Papers

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

XRule-Systems

Haskell
1
star
10

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
11

ProtocolStudy-Data

Data from a qualitative analysis of lab protocols.
1
star