lastland/DTScala lastland/DTScala

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Scala
  • Created almost 8 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lastland/DTScala
github

lastland

Reviews

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

Repository Details

Dependent Types in Scala

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

play-slick-forklift-example

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

Network-Assignments

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

p

A lite version of Linux ps command
C
3
star
12

ScalaHDL

Scala
3
star
13

PTSemForEffects

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

rrpostgetter

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

BasketballGym

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

Life-clj

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

my-notes

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

ClassExchange

PHP
2
star
19

ImageProcessor

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

lastland.github.io

Personal web page.
HTML
2
star
21

AskWord

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

scala-forklift-start-template

Start template for Scala-Forklift.
Scala
1
star
23

mdexe

Markdown can be executed
Python
1
star
24

FPScala

Scala
1
star
25

pl-blog

TeX
1
star
26

99ProblemsScala

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

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
28

GitHubRepoCrawler

Scala
1
star
29

CSDI-Papers-Notes

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

FPInPL

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

my-linux-conf

My Linux configuration files
Shell
1
star
32

generic-vale

Makefile
1
star