wutka Goto Github PK

advent-of-code-2022-spark

AoC 2022 solutions in Ada/Spark

aoc2022-day24-haskell

Advent of Code day 24 in Haskell

backward_chaining

Backward-chaining rule prover in Haskell

basstools

Android app for bass fretboard and music theory training

binheap

A Common Lisp package implementing a binary heap

bowling

Polyglot bowling score solutions

brickpi

C and Erlang code for the BrickPi Lego interface for the Raspberry Pi

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-1

A terminal-based Apple-1 emulator

froot-trek

ANSI-terminal Star Trek game for Froot-1 emulator

gdb

Go GDB/MI interface

go-to-speech

gospeak

Go programs to speech

greek-utils

Javascript utilities for working with NT Greek

icfpc2014

My entry for the 2014 ICFP Programming Contest

icfpcontest2015

icfpcontest2016

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

kjvsearch

Web app for searching for terms in the King James Bible

lambdaman

A compiler to generate code for the ICFP 2014 Lambdaman GCC CPU

lispy

minikanren-scheme

Implementing a Scheme interpreter in miniKanren

nuxmv-puzzle-solvers

Solving various logic puzzles with nuXmv

p

The P programming language.

scheml

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