Pinned Repositories
boon
Ergonomic Command Mode for Emacs
chemacs
Emacs profile switcher
defrepeater.el
Easily define repeatable Emacs commands
doom-emacs
An Emacs configuration for the stubborn martian vimmer
el-compilador
An SSA-based compiler for Emacs Lisp
helm
Emacs incremental completion and selection narrowing framework
IR-MetaOCaml
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
zhenya1007's Repositories
zhenya1007/IR-MetaOCaml
zhenya1007/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
zhenya1007/boon
Ergonomic Command Mode for Emacs
zhenya1007/chemacs
Emacs profile switcher
zhenya1007/defrepeater.el
Easily define repeatable Emacs commands
zhenya1007/doom-emacs
An Emacs configuration for the stubborn martian vimmer
zhenya1007/el-compilador
An SSA-based compiler for Emacs Lisp
zhenya1007/helm
Emacs incremental completion and selection narrowing framework
zhenya1007/helm-lacarte
Helm interface to lacarte.el
zhenya1007/helm-opengrok
zhenya1007/hexrgb
Functions to manipulate colors, including RGB hex strings
zhenya1007/lambda-term
Terminal manipulation library for OCaml
zhenya1007/ocaml
The core OCaml system: compilers, runtime system, base libraries
zhenya1007/ocamlspot
zhenya1007/ocp-index
Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
zhenya1007/opam-user-setup
Simplify the configuration of editors for using OCaml tools
zhenya1007/opam-windows-repository
Ocaml cross-compiler for Windows: packages description for OPAM
zhenya1007/OpenGrok
Main {OpenGrok git repository
zhenya1007/package-build
Tools for assembling a package archive
zhenya1007/PG
This repo is the new home of Proof General
zhenya1007/PI
P4 Runtime - a control plane framework and tools for the P4 programming language
zhenya1007/polymode
Framework for Multiple Major Modes in Emacs (core library)
zhenya1007/portable-keyboard-layout
Programmer's Dvorak ANYWHERE!
zhenya1007/straight.el
🍀 Next-generation, purely functional package manager for the Emacs hacker.
zhenya1007/sudoku
Sudoku for Insight
zhenya1007/terminology
zhenya1007/tezos
A self-amending cryptographic ledger
zhenya1007/threelayout
A better modifier based keyboard layout
zhenya1007/ubcdiss
UBC Dissertation Template for LaTeX
zhenya1007/with-editor
Use the Emacsclient as the $EDITOR of child processes