Zongyuan Liu's repositories
pineapple-scala
An FP style scala implementation of pineapple.
Movie-Rating
A basic implement of the paper 'Pre-release Prediction of Crowd Opinion on Movies by LDL'
bio-site
Yet another academic homepage builder.
company-coq
A Coq IDE build on top of Proof General's Coq mode
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Cover-Tree
Project on P.R.
iris_case_studies
A verification of CLH queue lock in Iris
Neovim-from-scratch
📚 A Neovim config designed from scratch to be understandable
opam-switch-mode
Select OCaml opam switches via a menu
coq-sail
Coq support library for Sail instruction set models
dune
A composable build system for OCaml.
emacs-fsharp-mode
F# Emacs mode
fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
kickstart.nvim
A launch point for your personal nvim configuration
kitty-themes
A collection of themes for kitty terminal 😻
lsp-mode
Emacs client/library for the Language Server Protocol
nvim
Configurations for nvim
SEU-Beamer-Slide
东南大学幻灯片模板(豪华版):clipboard:
seu-latex-template
LaTeX Template for Southeast University
shadowsocks-libev
libev port of shadowsocks