Yiyun Liu's repositories
liquidhaskell
Liquid Types For Haskell
Language:HaskellBSD-3-Clause000
Language:Nix000
symcc
SymCC: efficient compiler-based symbolic execution
GPL-3.0000
org-pomodoro
pomodoro technique for org-mode
Language:Emacs LispGPL-3.0000
cpython
The Python programming language
NOASSERTION000
klee
KLEE Symbolic Execution Engine
NOASSERTION000
python-qrcode
Python QR Code image generator
NOASSERTION000
mistune
A fast yet powerful Python Markdown parser with renderers and plugins.
BSD-3-Clause000
Language:R000
rackcheck
A property-based testing library for Racket.
BSD-3-Clause000
ghc-tcm-test
Experimenting ways to manually add bindings to TcM
Language:HaskellBSD-3-Clause000
Language:HTMLBSD-3-Clause000
CompCert
The CompCert formally-verified C compiler
Language:CoqNOASSERTION000
Language:ClojureNOASSERTION000
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Language:HaskellBSD-3-Clause000
Language:HaskellBSD-3-Clause000
haskell-mode
Emacs mode for Haskell
Language:Emacs LispGPL-3.0000
nix-workshop
Material for the Nix Workshop at Haskell eXchange 2017
MIT000
Language:Agda000
Language:HaskellBSD-3-Clause000
Language:TeX000
LMonad
Information Flow Control for Haskell applications
Language:HaskellMIT000
Language:Haskell000
Language:Agda000
structured-haskell-mode
Structured editing minor mode for Haskell in Emacs
Language:Emacs LispBSD-3-Clause000
Language:TeX000
onscripter-jh
.nix for onscripter-jh
Language:NixGPL-3.0000
PyExZ3
Python Exploration with Z3
NOASSERTION000
rscripts
quick and dirty scripts written for a specific data analysis task
Language:R000