Discover @lastland Open Source projects

Li Yao (@lastland)

lastland

Stars
347
Global Rank 79,160 (Top 3 %)
Followers 274
Following 70
Registered over 13 years ago
Most used languages

Scala
38.7 %

Coq 12.9 %

C++
9.7 %

TeX
6.5 %

C
6.5 %

HTML
3.2 %

Clojure
3.2 %

PHP
3.2 %

Makefile 3.2 %

Python
3.2 %

CSS
3.2 %

Haskell
3.2 %

Shell
3.2 %
Location 🇺🇸 United States
Country Total Rank 19,302
Country Ranking

Coq 25

Scala
166

Haskell
1,061

Clojure
1,903

Makefile 2,848

TeX
3,227

C
4,791

scala-forklift

Type-safe data migration tool for Slick, Git and beyond.

ClairvoyanceMonad

The Coq formalization of the paper Reasoning about the garden of forking paths.

Tricks-Museum

a collection for interesting code tricks

WebSpec

scala-forklift-quill

A demonstration of using Scala-Forklift to support database migrations on Quill.

MINIX-3.1.7-Lottery-Scheduler

A patch to implement lottery scheduling policy on MINIX 3.1.7.

HaskellTheoremProver

A theorem proving framework for intuitionistic and classical propositional logics in Haskell.

ScalaHDL2

The second version of ScalaHDL. Scala style!

DTScala

Dependent Types in Scala

play-slick-forklift-example

An example of doing database migration using play, play-slick, and scala-forklift.

Network-Assignments

My assignments for Jingyu Zhou's network course.

p

A lite version of Linux ps command

ScalaHDL

PTSemForEffects

A Coq formalization of the paper "A Predicate Transformer Semantics for Effects (Functional Pearl)"

rrpostgetter

统计人人网热门日志的常见词语及其出现频率

BasketballGym

My assignment for Computer Graphics course

Life-clj

A simple implementation of Conway's Game of Life in Clojure.

my-notes

my notes on books, courses, and others.

ClassExchange

ImageProcessor

My assignment for Image Process course

lastland.github.io

Personal web page.

AskWord

a simple program to ask me gre words

scala-forklift-start-template

Start template for Scala-Forklift.

mdexe

Markdown can be executed

FPScala

pl-blog

99ProblemsScala

my solutions to 99 Scala Problems(http://aperiodic.net/phil/scala/s-99/)

ProgramAdverbs

The Coq formalization of the paper Program Adverbs and Tlön Embeddings by Yao Li and Stephanie Weirich, published at ICFP 2022.

GitHubRepoCrawler

CSDI-Papers-Notes

my personal notes for papers read for CSDI course

FPInPL

A collection of FP concepts in languages other than traditional functional languages.

my-linux-conf

My Linux configuration files

generic-vale