Mattias's repositories
apheleia
🌷 Run code formatter on buffer contents without moving point, using RCS patches and dynamic programming.
bot
A (Coq Development Team) bot written in OCaml
combobulate
Structured Editing and Navigation in Emacs with Tree-Sitter
consult
:mag: consult.el - Consulting completing-read
elisp-tree-sitter
Tree-sitter bindings for Emacs Lisp
elpaca
An elisp package manager
emacs
Mirror of GNU Emacs
emacs-from-scratch
An example of a fully custom Emacs configuration developed live on YouTube!
flycheck-languagetool
Flycheck support for LanguageTool
fsharp
Exercism exercises in F#.
git-filter-repo
Quickly rewrite git repository history (filter-branch replacement)
irmin
Irmin is a distributed database that follows the same design principles as Git
lsp-mode
Emacs client/library for the Language Server Protocol
ocaml-lsp
OCaml Language Server Protocol implementation
ocaml-print-intf
Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form
ocaml-utils-mode
Utils for OCaml in emacs
projectile
Project Interaction Library for Emacs
tree-sitter-fold
Code-folding using tree-sitter
tree-sitter-langs
Language bundle for Emacs's tree-sitter package
ts-fold
Code-folding using tree-sitter
usuba
A programming language to write bitsliced ciphers