Pinned Repositories
advent-of-code-2022-spark
AoC 2022 solutions in Ada/Spark
brickpi
C and Erlang code for the BrickPi Lego interface for the Raspberry Pi
froot-1
A terminal-based Apple-1 emulator
gospeak
Go programs to speech
icfpcontest2018
kim1-blackpill
Code to emulate a KIM-1 on an STM32 Black Pill installed on a KIM-UNO board
kim1-emulator
Emulate a KIM-1 machine with original ROMs
minikanren-scheme
Implementing a Scheme interpreter in miniKanren
nuxmv-puzzle-solvers
Solving various logic puzzles with nuXmv
viking721
Terminal emulator for a CDC Viking 721 terminal
wutka's Repositories
wutka/kim1-emulator
Emulate a KIM-1 machine with original ROMs
wutka/gospeak
Go programs to speech
wutka/viking721
Terminal emulator for a CDC Viking 721 terminal
wutka/advent-of-code-2022-spark
AoC 2022 solutions in Ada/Spark
wutka/froot-1
A terminal-based Apple-1 emulator
wutka/icfpcontest2018
wutka/kim1-blackpill
Code to emulate a KIM-1 on an STM32 Black Pill installed on a KIM-UNO board
wutka/minikanren-scheme
Implementing a Scheme interpreter in miniKanren
wutka/nuxmv-puzzle-solvers
Solving various logic puzzles with nuXmv
wutka/secd
SECD machine implementation
wutka/solving-diehard3-water-jugs
Getting nuXmv and Formula to solve the water jugs problem from Die Hard 3
wutka/wordle
An interactive program to solve Wordle
wutka/aoc2022-day24-haskell
Advent of Code day 24 in Haskell
wutka/backward_chaining
Backward-chaining rule prover in Haskell
wutka/binheap
A Common Lisp package implementing a binary heap
wutka/crypto-solvers
Solvers for various types of classical cryptograms
wutka/cs6387_oauth_homework
wutka/exploits_6387
Programs for exploring disassembling and buffer overflows for Vanderbilt CS 6387
wutka/forward_chaining
Forward-chaining rule prover in Haskell
wutka/froot-trek
ANSI-terminal Star Trek game for Froot-1 emulator
wutka/gdb
Go GDB/MI interface
wutka/go-to-speech
wutka/greek-utils
Javascript utilities for working with NT Greek
wutka/kjvsearch
Web app for searching for terms in the King James Bible
wutka/lispy
wutka/P
The P programming language.
wutka/scheml
An interpreter for a functional language with Scheme-like syntax, but ML semantics, written in Java
wutka/smt_sudoku
Solve Sudoku puzzles with pysmt
wutka/trading_5260_haskell
Haskell version of Vanderbilt CS 5260 Trading program
wutka/w32uiautomation
A library written in Go for Windows UI Automation