gadmm Goto Github PK

beamer-flex

A Beamer layout for LyX that uses flex insets. (Better integration with LyX is provided by the unstable branch at https://github.com/gadmm/lyx-unstable. This one is provided for backwards-compatibility with LyX 2.3.) (moved to gitlab)

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

easychair-lyx

LyX layout and template for the EasyChair document class (moved to gitlab)

encyclopedia

An Open Encyclopedia of Proof Systems

fix-fontconfig-opentype-size

Fix fontconfig handling of OpenType 'size' for a couple of fonts (https://bugs.freedesktop.org/show_bug.cgi?id=95428). (moved to gitlab)

linear-types

Drafts, notes and resources for adding linear typing to GHC.

lyx-unstable

A branch of LyX master (2.4dev) that reads, edits and writes the current stable format (2.3). It contains all the new features apart from those that require a new file format, as well as some new features and additional bug fixes. (moved to gitlab)

lyx-unstable-debian

Debian packaging for LyX unstable. (https://launchpad.net/~gadmm/+archive/ubuntu/lyx-unstable) (moved to gitlab)

lyxproofs

LyX frontend to bussproofs with LyX macros. (moved to gitlab)

lyxymatrix

LyX frontend to xymatrix with LyX macros. (moved to gitlab)

ocaml

ocaml-multicore

Multicore OCaml

ocamlsdl2

OCaml interface to SDL 2.0 (for Linux and Windows)

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

perfectcut

Delimiters in LaTeX whose size grows according to the nesting. (https://www.ctan.org/pkg/perfectcut) (moved to gitlab)

rfcs

Design discussions about the OCaml language

sandmark-nightly-config

Configuration files to run sandmark-nightly

statmemprof-emacs

Emacs client for statistical memory profiler

thread-local-storage

thread-local storage for OCaml