csb6

html-plus-plus

Write HTML using C++ templates

bluebird

A work-in-progess programming language modeled after Ada and C++

editorial

A TUI text editor written in C++

editor

A custom text editor using the FLTK GUI toolkit

event-simulator

Simulation module using Markov chains

libtcod-ada

An Ada binding for the libtcod rougelike library

strong-types

Single-header implementation of strong typedefs in C++

bthreads

An implementation of behavioral programming in Python

Backtrack

A C++17 library with Prolog-like functionality (Work-In-Progress)

markdown

C++ Markdown parser

rougelike

A rougelike game written using C++11 and termbox

rougelike-ada

A rougelike game written in Ada 2012

tk-code

A prototype text editor/IDE in Ruby/Tk

modern-compiler-in-ml

My implementations of programs from the textbook "Modern Compiler Implementation in ML"

adac

An attempt to build a compiler for a subset of Ada

advent-of-code

Advent of code solutions 2019

bottom-up-parsers

Specifications of bottom-up parsers in VDM-SL

csc-439-final-project

final-project-march-madness

final-project-march-madness created by GitHub Classroom

gcc-2.5.7

In-progress port of GCC version 2.5.7 to modern systems

ginevra

A very basic C++ preprocessor supporting only #define directives, based on the ginevra program in Arthur Pyster's book, Compiler Design and Construction

libearley

Earley parser library

mail.py

A bare bones email client in Python. Supports IMAP/SMTP

millet

A language server for Standard ML.

qaccountant

Personal accounting software

serenity

The Serenity Operating System 🐞

squad-tactical-game

An XCOM-like, turn-based tactical game made in Ruby/Tk from a 2D, top-down perspective

thesis

vdm2cpp

VDM-SL to C++ translator plugin

wp

Guarded Command Language and Weakest Precondition tools