Type-safe data migration tool for Slick, Git and beyond.
a collection for interesting code tricks
A demonstration of using Scala-Forklift to support database migrations on Quill.
A patch to implement lottery scheduling policy on MINIX 3.1.7.
The second version of ScalaHDL. Scala style!
An example of doing database migration using play, play-slick, and scala-forklift.
The Coq formalization of the paper Reasoning about the garden of forking paths.
A theorem proving framework for intuitionistic and classical propositional logics in Haskell.
Dependent Types in Scala
A lite version of Linux ps command
My assignments for Jingyu Zhou's network course.
统计人人网热门日志的常见词语及其出现频率
run douban.fm on your shell
my notes on books, courses, and others.
My assignment for Computer Graphics course
A simple implementation of Conway's Game of Life in Clojure.
My assignment for Image Process course
Personal web page.
Markdown can be executed
A Coq formalization of the paper "A Predicate Transformer Semantics for Effects (Functional Pearl)"
a simple program to ask me gre words
Archive for all Coq related OPAM packages organized in various repositories
Start template for Scala-Forklift.
My Linux configuration files
my solutions to 99 Scala Problems(http://aperiodic.net/phil/scala/s-99/)
my personal notes for papers read for CSDI course
blog to octopress from emacs
Plugin to make simpler to create footnotes on posts
Octopress is an obsessively designed framework for Jekyll blogging. It’s easy to configure and easy to deploy. Sweet huh?
United Monoids
Rock-solid shell scripting
Convert Haskell source code to Coq source code.
Convert Haskell source code to Coq source code
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Writing CI configurations with Haskell (a better name is needed)
Formalization of the Interaction Tree Datatype in Coq
Sail architecture definition language
Verification system for effectful programs
Literature review of GHC's Core language, System FC
Lem semantic definition language
Robert Dockins' formalization of domain theory migrated to Coq 8.7
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Verified Software Toolchain
The Penn Locally Nameless Metatheory Library
Randomized Property-Based Testing Plugin for Coq
An HTTP library based on GNU libmicrohttpd.
A demo of using ad-hoc polymorphism to implement merge sort in Scala.
Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
A community driven list of useful Scala libraries, frameworks and software.
Schema manipulation DSL for Slick
Scala Language Integrated Connection Kit
:beer: The missing package manager for OS X
My Assignments for the course Principles of Reactive Programming on Coursera
ScalaMatsuri 2016 のウェブサイト
Miniboxing is a Scala compiler transformation that improves the performance of generics for primitive numeric types. Unlike specialization, miniboxing reduces the amount of generated bytecode without sacrificing execution speed, therefore being capable of transforming the Scala collections hierachy.
The Scala programming language
This is only a test on git.
Mirror of Apache Spark
Akka Project
my notes on programming languages
temp
the slides of a presentation I would be giving at tcloud group seminar, using reveal.js.
A pure-Ruby Markdown-superset interpreter (a fork of Official Repo).
A simple command line program which help you add license to your project.
Project Interaction Library for Emacs
Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.
An Intepreter of SimPL programming language.
learn you a haskell for great good 中文版
编程语言 | 排名 | 好于 | 星星数 |
---|---|---|---|
Coq | 2 | 98.06% | 23 |
Scala | 17 | 99.79% | 218 |
Haskell | 71 | 93.83% | 4 |
C | 1583 | 96.98% | 24 |
C++ | 4206 | 92.55% | 7 |