kyledewey/typed-prolog

Stars
27
Rank 905,827 (Top 18 %)
Language
Prolog
Created over 9 years ago
Updated about 7 years ago

kyledewey/typed-prolog

kyledewey

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

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.

bibtex-markdown

A terrible little hack to integrate BibTeX into markdown in a way that is independent of the markdown parser.

comp333-fall24-aux

Course materials from class

comp333-fall23-aux

comp333-spring21-aux

SMP-Parallel-Execution-Framework

Generic framework that parallelizes massively parallel tasks

comp333-fall19-aux

Code Snippets and Other Related Materials for COMP 333

Parallel-Genetic-Algorithm-Framework

A basic genetic algorithm framework that supports SMP parallel fitness calculation. Includes an implementation that solves instances of the large parsimony problem (phylogenetic tree construction).

comp333-spring24-aux

Code developed in class for COMP 333 (Spring'24)

comp410-fall24-aux

Course materials from class

mylang

Core Compiler for COMP 430

sillysat

An extremely basic SAT solver implementation for me to better understand the basics of SAT solving.

comp333-fall20-aux

Code developed in class

aws-parallelizer

Massively parallel file processing framework on AWS.

Perl-Timeout

A simplified implementation of the UNIX "timeout" command, written in Perl. It behaves nicer with non-interactive processes than the standard UNIX timeout.

comp333-summer21-aux