wutka

kim1-emulator

Emulate a KIM-1 machine with original ROMs

gospeak

Go programs to speech

viking721

Terminal emulator for a CDC Viking 721 terminal

advent-of-code-2022-spark

AoC 2022 solutions in Ada/Spark

froot-1

A terminal-based Apple-1 emulator

icfpcontest2018

kim1-blackpill

Code to emulate a KIM-1 on an STM32 Black Pill installed on a KIM-UNO board

minikanren-scheme

Implementing a Scheme interpreter in miniKanren

nuxmv-puzzle-solvers

Solving various logic puzzles with nuXmv

secd

SECD machine implementation

solving-diehard3-water-jugs

Getting nuXmv and Formula to solve the water jugs problem from Die Hard 3

wordle

An interactive program to solve Wordle

aoc2022-day24-haskell

Advent of Code day 24 in Haskell

backward_chaining

Backward-chaining rule prover in Haskell

binheap

A Common Lisp package implementing a binary heap

bowling

Polyglot bowling score solutions

crypto-solvers

Solvers for various types of classical cryptograms

cs6387_oauth_homework

exploits_6387

Programs for exploring disassembling and buffer overflows for Vanderbilt CS 6387

forward_chaining

Forward-chaining rule prover in Haskell

froot-trek

ANSI-terminal Star Trek game for Froot-1 emulator

gdb

Go GDB/MI interface

go-to-speech

kjvsearch

Web app for searching for terms in the King James Bible

lispy

P

The P programming language.

scheml

An interpreter for a functional language with Scheme-like syntax, but ML semantics, written in Java

smt_sudoku

Solve Sudoku puzzles with pysmt

trading_5260_haskell

Haskell version of Vanderbilt CS 5260 Trading program

w32uiautomation

A library written in Go for Windows UI Automation