mattiasdrp Goto Github PK

advent_of_code

alt-ergo

OCamlPro public development repository for Alt-Ergo

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

code-review-tests

combobulate

Structured Editing and Navigation in Emacs with Tree-Sitter

consult

:mag: consult.el - Consulting completing-read

dune

A composable build system for OCaml.

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!

emacs-settings

flycheck-languagetool

Flycheck support for LanguageTool

fsharp

Exercism exercises in F#.

ggez

Rust library to create a Good Game Easily

git-filter-repo

Quickly rewrite git repository history (filter-branch replacement)

index

leet_code

lsp-mode

Emacs client/library for the Language Server Protocol

mattiasdrp.github.io

mdrp_lib

merlin

Context sensitive completion for OCaml in Vim and Emacs

nerd-icons-completion

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

ocamlbot-journey

ocamlformat

Auto-formatter for OCaml code

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.