jsalzbergedu Goto Github PK

orbfont

Orbital font rendering. Compatible with Redox and SDL2.

orbtk

The Orbital Widget Toolkit. Compatible with Redox and SDL2.

output-buffer

A simple library for output buffers in emacs

pegreg

Compiler that goes from a regular subset of PEG to FSTs.

permutgen

Generate levels for a fedd game

personal-info

Personal info used in my emacs config

prettify-utils.el

Helper functions for emacs' prettify-symbols-mode

project-hydra

Generate from a template hydra for disparate modes

project-init

Project initialization recipies in emacs

pset-template

Latex teplate for psets. Stripped down from luke xuan's.

pseudocode-mode

A major and minor mode for pseudocode syntax highlighting

rdxmk

A small set of tools for redox development in Gnu Emacs.

realgud

The Grand "Cathedral" Debugger rewrite

realgud-mobdebug

mobdebug module for realgud. mobdebug is a remote lua debugger

resumee

My resumee.

ros

screenshot / paste tool for org-mode files

schroot-mode

Work transparently in a chroot

scratchy

Extremely simple graphics platform for learning and rapid development

seawolf

Seawolf Software Platform

simple-widget-lib-emacs

A simple widget library for creating interactive documents

skeleton-init

A project that intializes csc116 projects

snazzy-junit-emacs

Aesthetically run and display junit tests in emacs

snazzy-junit-runner

Junit runner for snazzy-junit-emacs

srv

SRV, a replacement for SVR

srvrequests

Requests for the Srv server

stacked-borrows

A model of stacked borrows for code instrumentation and verification

stlc-coq

Simply typed lambda calculus in Coq

stratisd

stumpwm-contrib

Extension Modules for StumpWM

svr

Seawolf Video Router