haselwarter

andromeda-opam

test-tags

andromeda

A minimalist implementation of type theory, suitable for experimentation

autosubst

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

Beluga

Repository for the Beluga language

clutch

A probabilistic relational separation logic with support for asynchronous couplings.

coqdepgraph

formalabstracts

functory

a distributed computing library for OCaml

hacspec

A specification language for cryptography primitives.

HoTT

Homotopy type theory

HoTT-Intro

An introductory course to Homotopy Type Theory

inkscape

Draw freely -- mirror of the Inkscape bzr repository, unofficial

jasmin

Jasmin compiler

jtt-2018-01-nijmegen

logics-for-effects

math-comp

Mathematical Components

merlin

Context sensitive completion for Ocaml in Vim and Emacs

ocaml

The core OCaml system: compilers, runtime system, base libraries

pdf-continuous-scroll-mode.el

A minor mode for Emacs that implements a two-buffer hack to provide continuous scrolling in pdf-tools

pdf-tools

Emacs support library for PDF files.

PG

This repo is the new home of Proof General

praktikum

programiranje-1

Gradiva s predavanj pri predmetu Programiranje 1, 2. letnik matematike, FMF

Projektna_naloga_wines

spartan-type-theory

Spartan type theory

texpresso

TeXpresso: live rendering and error reporting for LaTeX

tpj

Waybar

Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:

zsh-tmux-auto-title

ZSH plugin for tmux that automatically sets the title of windows/panes as the current foreground command.