boutil

followers

0

following

stars

Cédric Boutillier's starred repositories

wallabag2remarkable

sync articles between remarkable and wallabag

Language:Ruby200

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:Haskell12100

notmuch-addrlookup-c

Address lookup tool for Notmuch in C using GLib and libnotmuch

Language:C5000

nanoc-bibtex

BibTeX data source for nanoc.

Language:Ruby600

iruby

Official gem repository: Ruby kernel for Jupyter/IPython Notebook

Language:RubyMIT83500

nvim-fzy

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

Language:LuaGPL-3.05300

randdag

Counting and uniform random generation of several classes of DAGs

Language:CGPL-3.0400

libtexprintf

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

Language:CGPL-3.02600

bismuth

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

Language:TypeScriptNOASSERTION239700

alot

Terminal-based Mail User Agent

Language:PythonGPL-3.068300

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:Lean11800

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

Language:Lean6500

Zettlr

Your One-Stop Publication Workbench

Language:TypeScriptGPL-3.0995300

krohnkite

A dynamic tiling extension for KWin

Language:TypeScriptMIT162200

vimtex

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

Language:TeXMIT532900

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.012000

pubs

Your bibliography on the command line

Language:PythonLGPL-3.026400

pdfjam-extras

Some unsupported 'wrapper' scripts for pdfjam

Language:RoffGPL-2.04300

msmtp-queue-scheduler

Schedule MSMTP later

Language:ShellGPL-3.0800

boost_graph_cookbook_1

Boost.Graph Cookbook 1: Basics

Language:C++GPL-3.018300

waitused

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

Language:PythonGPL-3.0500

pandoc-theorem

Write LaTeX theorems in Pandoc Markdown

Language:HaskellBSD-3-Clause7400

latex-css

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

Language:HTMLMIT273300

security-token-docs

Documentation of Security Tokens and their uses.

Hasklig

Hasklig - a code font with monospaced ligatures

Language:PythonOFL-1.1556400

monoid

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

Language:Python785200

cgal

The public CGAL repository, see the README below

Language:C++NOASSERTION475100

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

CC0-1.0600300

Simulations

Various simulations of random processes

Language:C++GPL-3.01100

little_red_flag

A daemon for triggering the mbsync mail retrieval agent.

Language:Ruby2700