Giters
Matthieu Lemerre (mlemerre)

mlemerre

Geek Repo

7

followers

0

following

19

stars

Twitter:@lemerre_m

Github PK Tool:Github PK Tool

Matthieu Lemerre's starred repositories

codex

The main codex repository

Language:OCamlLicense:LGPL-2.1Stargazers:11Issues:0Issues:0

pdf-tools

Emacs support library for PDF files.

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

patricia-tree

Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

Language:OCamlLicense:LGPL-2.1Stargazers:10Issues:0Issues:0

pacomb

A parsing library that compiles grammars to combinators using elimination of left recursion

Language:OCamlLicense:MITStargazers:16Issues:0Issues:0

ocaml-ts-mode

OCaml major mode using tree-sitter

Language:Emacs LispStargazers:6Issues:0Issues:0

deque

Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

Language:OCamlLicense:MITStargazers:104Issues:0Issues:0

org-similarity

Emacs package that helps org-mode users (re)discover similar documents

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

kcas

Software Transactional Memory for OCaml

Language:OCamlLicense:ISCStargazers:99Issues:0Issues:0

gpt-emacs-macro

Connect GPT-3 to Emacs and run "semantic" kbd macros

Language:Emacs LispStargazers:43Issues:0Issues:0

ssabook

Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).

Language:TeXStargazers:116Issues:0Issues:0

org-velocity

Development version of org-velocity

Language:Emacs LispStargazers:6Issues:0Issues:0

vertico

:dizzy: vertico.el - VERTical Interactive COmpletion

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

tikzjax

TikZJax is TikZ running under WebAssembly in the browser

Language:JavaScriptLicense:LPPL-1.3cStargazers:437Issues:0Issues:0

ts-fold

Code-folding using tree-sitter

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

combobulate

Structured Editing and Navigation in Emacs with Tree-Sitter

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

dendroam

Bring Dendron features to Emacs org-roam

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

emacs-secondmate

An open-source, mini imitation of GitHub Copilot for Emacs.

Language:PythonLicense:Apache-2.0Stargazers:309Issues:0Issues:0

biblio.el

Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs

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

l-lang

Compiler and tools for the L programming language

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