boutil

followers

0

following

stars

Cédric Boutillier's starred repositories

Zettlr

Your One-Stop Publication Workbench

Language:TypeScriptGPL-3.09953 85 3183

monoid

Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/

Language:Python7852 101 197

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

CC0-1.06003 252 37

Hasklig

Hasklig - a code font with monospaced ligatures

Language:PythonOFL-1.15564 81 107

vimtex

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

Language:TeXMIT5329 37 2457

cgal

The public CGAL repository, see the README below

Language:C++NOASSERTION4750 166 3088

latex-css

LaTeX.css is a CSS library that makes your website look like a LaTeX document

Language:HTMLMIT2733 28 22

bismuth

KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.

Language:TypeScriptNOASSERTION2397 21 297

krohnkite

A dynamic tiling extension for KWin

Language:TypeScriptMIT1622 21 206

iruby

Official gem repository: Ruby kernel for Jupyter/IPython Notebook

Language:RubyMIT835 31 195

alot

Terminal-based Mail User Agent

Language:PythonGPL-3.0683 23 972

security-token-docs

Documentation of Security Tokens and their uses.

tex4ebook

Converter from LaTeX to ebook formats (epub, mobi). Using tex4ht and texlua scripts.

Language:Lua304 29 127

pubs

Your bibliography on the command line

Language:PythonLGPL-3.0264 15 176

boost_graph_cookbook_1

Boost.Graph Cookbook 1: Basics

Language:C++GPL-3.0183 19 64

hgeometry

HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.

Language:Haskell121 6 75

cosma

Cosma is a document graph visualization tool. It modelizes interlinked Markdown files and renders them as an interactive network in a web interface.

Language:JavaScriptGPL-3.0119 6 50

formalising-mathematics-2022

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Language:Lean118 13 1

pandoc-theorem

Write LaTeX theorems in Pandoc Markdown

Language:HaskellBSD-3-Clause74 4 5

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

Language:Lean65 10 84

nvim-fzy

Fuzzy picker & vim.ui.select implementation via fzy for neovim

Language:LuaGPL-3.053 4 9

notmuch-addrlookup-c

Address lookup tool for Notmuch in C using GLib and libnotmuch

Language:C50 7 17

pdfjam-extras

Some unsupported 'wrapper' scripts for pdfjam

Language:RoffGPL-2.043 7 3

little_red_flag

A daemon for triggering the mbsync mail retrieval agent.

Language:Ruby27 8 6

libtexprintf

Library providing printf-style formatted output routines with tex-like syntax support.

Language:CGPL-3.026 3 15

Simulations

Various simulations of random processes

Language:C++GPL-3.011 3 4

msmtp-queue-scheduler

Schedule MSMTP later

Language:ShellGPL-3.08 2 1

nanoc-bibtex

BibTeX data source for nanoc.

Language:Ruby6 30

waitused

Run a command waiting until it or one of its subprocessed have opened and closed a given file

Language:PythonGPL-3.05 30

randdag

Counting and uniform random generation of several classes of DAGs

Language:CGPL-3.04 3 3