Emilien Lemaire's repositories
clang-tidy.nvim
A plugin to publish clang-tidy checks on neovin lsp diagnostics
CppLogger2
Lightweight logger for C++
neuron.nvim
Make neovim the best note taking application
node_of_ocaml
Small OCaml ppx to require node packages
YAPL-Archive
Yet Another Programming Language
MiniLustreLLVM
Un noyau de MiniLustre compilé vers LLVM
agda-language-server
Language Server for Agda
autofonce
A modern runner for GNU Autoconf testsuites in m4
cobol-typing
A document suggesting type systems for COBOL code
cubicle
The Cubicle model checker
drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
drom-share
Share directory for `drom` (skeletons, licenses, etc.)
gnucobol
A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
ocamly-lsp
An ocamllex and ocamlyacc lsp server
opam-repository
Main public package repository for opam, the source package manager of OCaml.
os-tutorial
How to create an OS from scratch
packer.nvim
A use-package inspired plugin manager for Neovim. Uses native packages, written in Lua, allows for expressive config
superbol-vscode-extension
A VSCode extension for COBOL
tree-sitter-heptagon
Tree sitter grammar for heptagon
tree-sitter-menhir
Menhir grammar for tree-sitter
tree-sitter-yapl
Tree-sitter parser for the YAPL language