There are no reviews yet. Be the first to send feedback to the community and the maintainers!
typed-prolog
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-spring21-aux
SMP-Parallel-Execution-Framework
Generic framework that parallelizes massively parallel taskscomp333-fall19-aux
Code Snippets and Other Related Materials for COMP 333Parallel-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)mylang
Core Compiler for COMP 430sillysat
An extremely basic SAT solver implementation for me to better understand the basics of SAT solving.comp333-fall20-aux
Code developed in classaws-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
Love Open Source and this site? Check out how you can help us