Mattias's repositories

Language:Emacs LispLicense:MITStargazers:4Issues:4Issues:12
Language:OCamlStargazers:2Issues:1Issues:0
Language:OCamlStargazers:0Issues:0Issues:0

apheleia

🌷 Run code formatter on buffer contents without moving point, using RCS patches and dynamic programming.

Language:Emacs LispLicense:MITStargazers:0Issues:0Issues:0

bot

A (Coq Development Team) bot written in OCaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

combobulate

Structured Editing and Navigation in Emacs with Tree-Sitter

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

consult

:mag: consult.el - Consulting completing-read

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

elisp-tree-sitter

Tree-sitter bindings for Emacs Lisp

License:MITStargazers:0Issues:0Issues:0

elpaca

An elisp package manager

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

emacs

Mirror of GNU Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

emacs-from-scratch

An example of a fully custom Emacs configuration developed live on YouTube!

Stargazers:0Issues:0Issues:0

flycheck-languagetool

Flycheck support for LanguageTool

License:GPL-3.0Stargazers:0Issues:0Issues:0

fsharp

Exercism exercises in F#.

Language:F#License:MITStargazers:0Issues:0Issues:0

git-filter-repo

Quickly rewrite git repository history (filter-branch replacement)

License:NOASSERTIONStargazers:0Issues:0Issues:0

irmin

Irmin is a distributed database that follows the same design principles as Git

License:ISCStargazers:0Issues:0Issues:0
Language:OCamlStargazers:0Issues:1Issues:0

lsp-mode

Emacs client/library for the Language Server Protocol

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0
Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ocaml-lsp

OCaml Language Server Protocol implementation

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-print-intf

Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-utils-mode

Utils for OCaml in emacs

Language:Emacs LispLicense:MITStargazers:0Issues:0Issues:0

projectile

Project Interaction Library for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

tree-sitter-fold

Code-folding using tree-sitter

Stargazers:0Issues:0Issues:0

tree-sitter-langs

Language bundle for Emacs's tree-sitter package

License:MITStargazers:0Issues:0Issues:0

ts-fold

Code-folding using tree-sitter

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

usuba

A programming language to write bitsliced ciphers

Language:CLicense:MITStargazers:0Issues:0Issues:0