jtorvald1/LogicTableauProlog

Stars
1
Language
Prolog
Created about 6 years ago
Updated about 6 years ago

jtorvald1/LogicTableauProlog

jtorvald1

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A Logic Tableau implimentation in Prolog. Final project for Advanced Programming class.

LogStructuredFilesystem

A log-structured filesystem, based on a description of such a system by Tanenbaum and Woodhull, and using Linux FUSE. All data is stored in memory until there is a need to write to the disk. At that time, pending writes buffered in memory are collected and written as a single contiguous segment to the disk, at the end of the “log” of data.

ViewerCuts

This is a Firefox Addon. Install it, add a cut-file, then watch a viewer-tailored version of any movie on Netflix.

DeviceDriver-KernalModule

Create a kernel module, to be run in User-Mode Linux, exposing two character drivers to user-space. Instead of interfacing with hardware, as one might expect device driver to do, the point of this project was to make two processes communicate through a device driver.