ferdv

GPMD85Emulator

Unix emulator of the Tesla PMD 85, an 8-bit personal micro-computer and all its compatible models produced in eighties of 20th century in former Czechoslovakia.

pandoc-latex-template

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

FiraCode

Free monospaced font with programming ligatures

neu-heatmap

Heroku app for web-based heatmap generation of course schedules.

neubanner

Provides easy programmatic access to Banner (SSB).

books

Clementine

:tangerine: Clementine Music Player

gradescope-autograding-lib

poyo

A lightweight YAML Parser for Python. 🐓

subsurface

This is the official upstream of the Subsurface divelog program

scrcpy

Display and control your Android device

skhd

Simple hotkey daemon for macOS

lua-yaml

scratch-2021-01

Lecture debris; spring 2021

ghcid

Very low feature GHCi based IDE

ghcide

A library for building Haskell IDE tooling

pdfjam

The pdfjam package for manipulating PDF files

systemshock

Shockolate - A minimalist and cross platform System Shock source port.

tagbar

Vim plugin that displays tags in a window, ordered by scope

pp

PP - Generic preprocessor (with pandoc in mind) - macros, literate programming, diagrams, scripts...

b1fipl

A Bestiary of Single-File Implementations of Programming Languages

semantic

Parsing, analyzing, and comparing source code across many languages

pandoc

Universal markup converter

github-org-mgmt

Scripts for automating Github organisation management, e.g. creating teams with a repo and adding members.

mtheme

A modern LaTeX Beamer theme

markdown-preview.nvim

markdown preview plugin for (neo)vim

xv6-public

xv6 OS

vimtex

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

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.

coquille

Interactive theorem proving with Coq in vim.