There are no reviews yet. Be the first to send feedback to the community and the maintainers!
99-lisp-problems
Solutions for the Ninety-Nine Lisp problems in Common Lisp.harmonizer
Harmonizes a melody with the likeliest sequence of chords using dynamic Bayesian networksGRAIL-function-generator
Automatically generates functions for abstract data types given their GRAIL representation.p-adic-numbers
Arithmetic and finding roots of polynomials in p-adic number fieldscheckers
Arduino implementation of checkers with AI.syllogism
Syllogism solver with natural language inputguitar-tab-calculator
Inferring optimal tab configurations for chord sequencescs342-p3
CS 342 Operating Systems Project 3fixed-point
Approximating fixed points of parameterized families of functions using neural networkscs481-hw2
CS 481 Bioinformatics Algorithms HW 2cs481-hw4
CS 481 Bioinformatics Algorithms HW 4galois-fields
Quick implementation of Galois fields in Cgeometric-construction
Calculate the compass and straightedge construction of points, numbers, angles, polygons.cs342-p1
CS 342 Operating Systems Project 1cs-223-project
Digital design project implementing checkers in SystemVerilogtheorem-prover
Proof of concept for theorem proving using heuristic searchski-interpreter
An interpreter for the SKI combinator calculus in Scheme.cs342-p2
CS 342 Operating Systems Project 2circuit-simulator
A simulator for RLC circuitsbf-interpreter
Brainfuck interpreter and compiler to C codecs342-p4
CS 342 Operating Systems Project 4group-evaluator
Evaluate expressions formed by elements of a group with a given presentation, if possible.math214-lecture-notes
search-algorithms
Testing the relative efficiency of different search algorithms and heuristics on randomly generated mazescs481-hw3
CS 481 Bioinformatics Algorithms HW 3Love Open Source and this site? Check out how you can help us