lastland/my-linux-conf lastland/my-linux-conf

  • Stars
    star
    1
  • Language
    Shell
  • Created almost 13 years ago
  • Updated almost 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lastland/my-linux-conf
github

lastland

Reviews

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

Repository Details

My Linux configuration files

More Repositories

1

scala-forklift

Type-safe data migration tool for Slick, Git and beyond.
Scala
188
star
2

ClairvoyanceMonad

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

Tricks-Museum

a collection for interesting code tricks
C
24
star
4

WebSpec

Coq
18
star
5

scala-forklift-quill

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

MINIX-3.1.7-Lottery-Scheduler

A patch to implement lottery scheduling policy on MINIX 3.1.7.
11
star
7

HaskellTheoremProver

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

ScalaHDL2

The second version of ScalaHDL. Scala style!
Scala
6
star
9

DTScala

Dependent Types in Scala
Scala
6
star
10

play-slick-forklift-example

An example of doing database migration using play, play-slick, and scala-forklift.
Scala
5
star
11

Network-Assignments

My assignments for Jingyu Zhou's network course.
C++
4
star
12

p

A lite version of Linux ps command
C
3
star
13

ScalaHDL

Scala
3
star
14

PTSemForEffects

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

rrpostgetter

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

BasketballGym

My assignment for Computer Graphics course
C++
2
star
17

Life-clj

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

my-notes

my notes on books, courses, and others.
CSS
2
star
19

ClassExchange

PHP
2
star
20

ImageProcessor

My assignment for Image Process course
C++
2
star
21

lastland.github.io

Personal web page.
HTML
2
star
22

AskWord

a simple program to ask me gre words
Scala
1
star
23

scala-forklift-start-template

Start template for Scala-Forklift.
Scala
1
star
24

mdexe

Markdown can be executed
Python
1
star
25

FPScala

Scala
1
star
26

pl-blog

TeX
1
star
27

99ProblemsScala

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

ProgramAdverbs

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

GitHubRepoCrawler

Scala
1
star
30

CSDI-Papers-Notes

my personal notes for papers read for CSDI course
TeX
1
star
31

FPInPL

A collection of FP concepts in languages other than traditional functional languages.
Scala
1
star
32

generic-vale

Makefile
1
star