lzy0505
Follow
-
-
company-coq Public
Forked from cpitclaudel/company-coqA Coq IDE build on top of Proof General's Coq mode
Emacs Lisp GNU General Public License v3.0 UpdatedNov 28, 2024 -
coq-sail Public
Forked from rems-project/coq-sailCoq support library for Sail instruction set models
Coq Other UpdatedJun 5, 2024 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedMay 28, 2024 -
bio-site Public
Forked from GeeLaw/bio-siteYet another academic homepage builder.
JavaScript Other UpdatedApr 16, 2024 -
-
fsharp Public
Forked from dotnet/fsharpThe F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
F# MIT License UpdatedDec 11, 2023 -
-
lsp-mode Public
Forked from emacs-lsp/lsp-modeEmacs client/library for the Language Server Protocol
Emacs Lisp GNU General Public License v3.0 UpdatedNov 24, 2023 -
-
Neovim-from-scratch Public template
Forked from LunarVim/Neovim-from-scratch📚 A Neovim config designed from scratch to be understandable
Lua GNU General Public License v3.0 UpdatedJul 28, 2023 -
emacs-fsharp-mode Public
Forked from fsharp/emacs-fsharp-modeF# Emacs mode
Emacs Lisp Apache License 2.0 UpdatedJun 22, 2023 -
coq-lsp-emacs Public
Forked from Kaptch/coq-lsp-emacsEmacs Lisp GNU General Public License v3.0 UpdatedMar 11, 2023 -
kickstart.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedFeb 22, 2023 -
opam-switch-mode Public
Forked from ProofGeneral/opam-switch-modeSelect OCaml opam switches via a menu
Emacs Lisp GNU General Public License v3.0 UpdatedFeb 12, 2023 -
-
coq-serapi Public
Forked from rocq-archive/coq-serapiCoq Protocol Playground with Se(xp)rialization of Internal Structures.
OCaml Other UpdatedAug 13, 2022 -
kitty-themes Public
Forked from dexpota/kitty-themesA collection of themes for kitty terminal 😻
Python MIT License UpdatedMay 3, 2022 -
PG Public
Forked from ProofGeneral/PGThis repo is the new home of Proof General
Emacs Lisp GNU General Public License v2.0 UpdatedApr 14, 2021 -
pineapple-scala Public
An FP style scala implementation of pineapple.
-
-
gocap Public
Forked from nfk93/gocapMaking Go capability-secure in the object capability model
Go UpdatedJun 4, 2020 -
-
Movie-Rating Public
A basic implement of the paper 'Pre-release Prediction of Crowd Opinion on Movies by LDL'
-
-
seu-latex-template Public archive
Forked from shellqiqi/seu-report-latex-templateLaTeX Template for Southeast University
-
seuthesis Public
Forked from seucs/seuthesisLaTeX Thesis Template for Southeast University
TeX MIT License UpdatedMay 17, 2018 -
shadowsocks-libev Public
Forked from shadowsocks/shadowsocks-libevlibev port of shadowsocks
C GNU General Public License v3.0 UpdatedFeb 15, 2018 -
-
SEU-Beamer-Slide Public
Forked from TouchFishPioneer/SEU-Beamer-Slide东南大学幻灯片模板（豪华版）:clipboard:
TeX GNU General Public License v3.0 UpdatedJan 1, 2018