Pinned Repositories
4jhan-server
A minimal JSON imageboard.
aoc2018
My Advent of Code solutions in AWK (currently on halt, no time)
dumb-jump
an Emacs "jump to definition" package for 40+ languages
ijod
(mirror) Yet another video-sync service
REDB
Source code of the Regular Expression Database (REDB)
ReGeX
A Regular Expression game for Android
wastat
WhatsApp statistics toolkit mirror
web-tools
Tools, scripts and other hacks behind my website
phikal's Repositories
phikal/ijod
(mirror) Yet another video-sync service
phikal/agda
Agda is a dependently typed programming language / interactive theorem prover.
phikal/baccumulation
phikal/bqn-mode
Emacs mode for BQN programming language
phikal/breadcrumb
I hate forking projects on GitHub
phikal/buffer-env
Buffer-local process environments for Emacs
phikal/cdlatex
Fast input methods to enter LaTeX environments and math with GNU Emacs
phikal/coq-elpi
Coq plugin embedding elpi
phikal/eglot-ltex
Eglot Clients for LTEX
phikal/elpi
Embeddable Lambda Prolog Interpreter
phikal/emacs-buddy
Emacs Buddy initiative to help new Emacs users with their struggles
phikal/emacs-leuven-theme
Awesome Emacs color theme for white backgrounds --- Added in Emacs 24.4+
phikal/embark
Emacs Mini-Buffer Actions Rooted in Keymaps
phikal/ffsubsync
Automagically synchronize subtitles with video.
phikal/Focus
Dim the font color of text in surrounding paragraphs
phikal/forth-mode
Wants to be the SLIME of Forth
phikal/go-tools
Staticcheck - The advanced Go linter
phikal/lean4-mode
Emacs major mode for Lean 4
phikal/lua-mode
Emacs major mode for editing Lua
phikal/melpa
Recipes and build machinery for the biggest Emacs package repo
phikal/mg
Micro (GNU) Emacs-like text editor ❤️ public-domain
phikal/muzei-artvee
https://artvee.com/ backend for Muzei.
phikal/nano-theme
GNU Emacs / N Λ N O Theme
phikal/neatvi
A small vi/ex editor for editing bidirectional UTF-8 text
phikal/PG
This repo is the new home of Proof General
phikal/slime
The Superior Lisp Interaction Mode for Emacs
phikal/sly
Sylvester the Cat's Common Lisp IDE
phikal/tuareg
Emacs OCaml mode
phikal/vc-use-package
Primitive package-vc integration for use-package
phikal/vertico
vertico.el - VERTical Interactive COmpletion