lzy0505 Goto Github PK

aoc-22

Advent of Code 2022

aoc-23

bio-site

Yet another academic homepage builder.

company-coq

A Coq IDE build on top of Proof General's Coq mode

coq-lsp-emacs

coq-sail

Coq support library for Sail instruction set models

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

cover-tree

Project on P.R.

doom.d

My personal doom emacs configuration.

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

gocap

Making Go capability-secure in the object capability model

iris-project

iris_case_studies

A verification of CLH queue lock in Iris

kickstart.nvim

A launch point for your personal nvim configuration

kitty-themes

A collection of themes for kitty terminal 😻

lex-yacc

For compiler course project

lsp-mode

Emacs client/library for the Language Server Protocol

movie-rating

A basic implement of the paper 'Pre-release Prediction of Crowd Opinion on Movies by LDL'

neovim-from-scratch

📚 A Neovim config designed from scratch to be understandable

nvim

Configurations for nvim

opam-switch-mode

Select OCaml opam switches via a menu

pg

This repo is the new home of Proof General

pineapple-scala

An FP style scala implementation of pineapple.

satsolver

seu-beamer-slide

东南大学幻灯片模板（豪华版）:clipboard:

seu-latex-template

LaTeX Template for Southeast University

seuthesis

LaTeX Thesis Template for Southeast University

shadowsocks-libev

libev port of shadowsocks