lastland/ClairvoyanceMonad lastland/ClairvoyanceMonad

  • Stars
    star
    24
  • Rank 986,245 (Top 20 %)
  • Language Coq
  • License
    MIT License
  • Created over 3 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lastland/ClairvoyanceMonad
github

lastland

Reviews

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

Repository Details

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

More Repositories

1

scala-forklift

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

Tricks-Museum

a collection for interesting code tricks
C
24
star
3

WebSpec

Coq
18
star
4

scala-forklift-quill

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

MINIX-3.1.7-Lottery-Scheduler

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

HaskellTheoremProver

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

ScalaHDL2

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

DTScala

Dependent Types in Scala
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