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