Emilien Lemaire's repositories
clang-tidy.nvim
A plugin to publish clang-tidy checks on neovin lsp diagnostics
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
cimgui
c-api for imgui (https://github.com/ocornut/imgui) Look at: https://github.com/cimgui for other widgets
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.)
gixsql
GixSQL is an ESQL preprocessor and a series of runtime libraries to enable GnuCOBOL to access PostgreSQL, ODBC, MySQL, Oracle and SQLite databases.
gnucobol
A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
imgui
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
imguiml
Bindings to cimgui
m-lua
o lua m'lua
merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml-lsp
OCaml Language Server Protocol implementation
OEngine
Game engine in OCaml
opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
opam-repository
Main public package repository for opam, the source package manager of OCaml.
pattern
OCaml run-time patterns that explain match failures
superbol-studio-oss
A VSCode extension for COBOL
superbol-vscode-debug
GnuCOBOL debugger
tree-sitter-heptagon
Tree sitter grammar for heptagon
tree-sitter-menhir
Menhir grammar for tree-sitter