lastland/HaskellTheoremProver

Stars
7
Rank 2,294,772 (Top 46 %)
Language
Haskell
Created over 7 years ago
Updated over 7 years ago

lastland/HaskellTheoremProver

lastland

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

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

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.

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