Research concerns primarily automated testing and computer science education. Public repositories hold related infrastructure.
Highlights
- Pro
Popular repositories Loading
-
typed-prolog
typed-prolog PublicA basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
-
bibtex-markdown
bibtex-markdown PublicA terrible little hack to integrate BibTeX into markdown in a way that is independent of the markdown parser.
-
-
-
-
Parallel-Genetic-Algorithm-Framework
Parallel-Genetic-Algorithm-Framework PublicA basic genetic algorithm framework that supports SMP parallel fitness calculation. Includes an implementation that solves instances of the large parsimony problem (phylogenetic tree construction).
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.